TITLE     : Metodologie e strumenti per la specifica e la verifica di Sistemi Concorrenti
AUTHOR(S) : Astesiano E, Battiston E, De Cindio F, De Nicola R, Gnesi S, Maggiolo Schettini A, Reggio G
TYPE      : Contribution to book
YEAR      : 1995
CODE      : 409225

*** DO NOT EDIT THIS FILE ***