TITLE     : International Ercim Workshop on Formal Methods for Industrial Critical System, 2., Cesena, 1997
AUTHOR(S) : Gnesi S, Latella D
TYPE      : Conference article
YEAR      : 1997
CODE      : 409350

*** DO NOT EDIT THIS FILE ***