TITLE     : Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems
AUTHOR(S) : Garavel H, Gnesi S, Schieferdeckerc I
TYPE      : Book
YEAR      : 2003
CODE      : 146888

*** DO NOT EDIT THIS FILE ***