2007
Software
Unknown
CMC: COWS model checker version 0.4
Mazzanti F.
Model cheker Socl logic COWS
Model checker prototipale per il linguaggio di specifica COWS, sviluppato nell'ambito del progetto Sensoria
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:149550,
title = {CMC: COWS model checker version 0.4},
author = {Mazzanti F.},
year = {2007}
}CNR authorsLaboratories
0000-0003-4562-8777CNR ExploRA