2007
Software
Restricted
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-8777