Paper

Type

INPROCEEDINGS  

Title

Testing Equivalence for Mobile Processes (Extended Abstract)  

Authors

Michele Boreale, Rocco De Nicola 

Book

CONCUR  

Pages

2-16  

Year

1992  

Bibtex key

DBLP:conf/concur/BorealeN92  

Bibtex

@INPROCEEDINGS{DBLP:conf/concur/BorealeN92,
  title = {{Testing Equivalence for Mobile Processes (Extended Abstract)}},
  author = {Boreale, Michele and De Nicola, Rocco},
  booktitle = {CONCUR},
  pages = {2-16},
  year = {1992},
}

 

Created

0000-00-00 00:00:00  

Modified

0000-00-00 00:00:00