Number of items: **3**.

## De

De Nicola, Rocco and Inverardi, Paola and Nesi, Monica
*Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.*
In:
Automatic Verification Methods for Finite State Systems.
Lecture Notes in Computer Science, 407
.
Springer, pp. 54-67.
ISBN 3-540-52148-8
(1990)

## In

De Nicola, Rocco and Inverardi, Paola and Nesi, Monica
*Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.*
In:
Automatic Verification Methods for Finite State Systems.
Lecture Notes in Computer Science, 407
.
Springer, pp. 54-67.
ISBN 3-540-52148-8
(1990)

## Ne

De Nicola, Rocco and Inverardi, Paola and Nesi, Monica
*Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.*
In:
Automatic Verification Methods for Finite State Systems.
Lecture Notes in Computer Science, 407
.
Springer, pp. 54-67.
ISBN 3-540-52148-8
(1990)

This list was generated on **Thu Feb 29 00:07:12 2024 CET**.