2006
Software
Unknown
COWS V0.2
Mazzanti F.
model-checking verifica formale descrizione formale simulazione
Strumento sofware per la simulazione di sistemi descritti tramite l'algebra di processo COWS.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:149501,
title = {COWS V0.2},
author = {Mazzanti F.},
year = {2006}
}CNR authorsLaboratories
0000-0003-4562-8777CNR ExploRA