Paper

Type
ARTICLE  
Title
Testing Equivalence for Mobile Processes  
Authors
Michele Boreale, Rocco De Nicola 
Book
Inf. Comput.  
Pages
279-303  
Volume
120  
Number
2  
Year
1995  
Bibtex key
DBLP:journals/iandc/BorealeN95  
Bibtex
@ARTICLE{DBLP:journals/iandc/BorealeN95,
  title = {{Testing Equivalence for Mobile Processes}},
  author = {Boreale, Michele and De Nicola, Rocco},
  journal = {Inf. Comput.},
  pages = {279-303},
  volume = {120},
  number = {2},
  year = {1995},
}
 
Created
0000-00-00 00:00:00  
Modified
0000-00-00 00:00:00