TITLE     : Preface - Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000--selected papers
AUTHOR(S) : Garavel H., Gnesi S., Schieferdecker I.
TYPE      : Articolo in rivista
YEAR      : 2003
CODE      : 44107

*** DO NOT EDIT THIS FILE ***