TITLE     : Special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems
AUTHOR(S) : Gnesi S, Latella D
TYPE      : Book
YEAR      : 2001
CODE      : 190093

*** DO NOT EDIT THIS FILE ***