Paper

Type

INPROCEEDINGS  

Title

Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications  

Authors

Rocco De Nicola, Paola Inverardi, Monica Nesi 

Book

Automatic Verification Methods for Finite State Systems  

Pages

54-67  

Year

1989  

Bibtex key

DBLP:conf/avmfss/NicolaIN89  

Bibtex

@INPROCEEDINGS{DBLP:conf/avmfss/NicolaIN89,
  title = {{Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications}},
  author = {De Nicola, Rocco and Inverardi, Paola and Nesi, Monica},
  booktitle = {Automatic Verification Methods for Finite State Systems},
  pages = {54-67},
  year = {1989},
}

 

Created

0000-00-00 00:00:00  

Modified

0000-00-00 00:00:00