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