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