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