Items where Author is "Inverardi, Paola"
Jump to: 1990 Number of items: 1. 1990De 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) |
