2008
Software
Metadata Only Access
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 IRIS