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