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