1997
Other
Unknown
Validazione formale di meccanismi per la tolleranza ai guasti
Bernardeschi C., Fantechi A., Gnesi S.
Formal verification Software/Program Verification
An abstract is not avaiable
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:408827,
title = {Validazione formale di meccanismi per la tolleranza ai guasti},
author = {Bernardeschi C. and Fantechi A. and Gnesi S.},
year = {1997}
}
0000-0002-4648-4667CNR ExploRA