TITLE     : A deductive database support to the specification of concurrent system
AUTHOR(S) : Asirelli P, Gnesi S, Rossi Mc
TYPE      : Conference article
YEAR      : 1996
CODE      : 410866

*** DO NOT EDIT THIS FILE ***