1998
Other
Unknown
Second ERCIM international workshop on formal methods for industrial critical systems
Gnesi S., Latella D.
Industrial critical systems
An abstract is not available.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:411058,
title = {Second ERCIM international workshop on formal methods for industrial critical systems},
author = {Gnesi S. and Latella D.},
year = {1998}
}
0000-0002-0139-0421CNR ExploRA