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 -