2008
Software
Unknown
CMC_ model checker per la logica SOCL
Mazzanti F.
Model cheking Temporal logics Modelli comportamentali
No abstract avaible
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:151924,
title = {CMC_ model checker per la logica SOCL},
author = {Mazzanti F.},
year = {2008}
}CNR authorsLaboratories
0000-0003-4562-8777CNR ExploRA