1998
Other
Unknown
Implementazione in SML di un traduttore da automi gerarchici a Promela
Giusti E., Latella D.
Software/Program verification
Sommario non disponibile.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:412576,
title = {Implementazione in SML di un traduttore da automi gerarchici a Promela},
author = {Giusti E. and Latella D.},
year = {1998}
}
0000-0002-3257-9059CNR ExploRA