TITLE     : Introduction: special issue on the Fourth International Workshop of the ERCIM working group on formal methods for industrial critical systems, Trento, Italy, July 11-12, 1999 - Selected papers.
AUTHOR(S) : Gnesi S, Latella D
TYPE      : Other
YEAR      : 2001
CODE      : 160482

*** DO NOT EDIT THIS FILE ***