MURCIANO, MARCO
MURCIANO, MARCO
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
017081
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
BDD-Based Hardware Verification / Cabodi, Gianpiero; Murciano, Marco - In: Formal Methods for Hardware Verification / BERNARDO M.; CIMATTI A.. - BERLIN / HEIDELBERG : Springer, 2006. - ISBN 9783540343042. - pp. 78-107 | 1-gen-2006 | CABODI, GianpieroMURCIANO, MARCO | - |