QUER, Stefano
QUER, Stefano
Dipartimento di Automatica e Informatica
S. Quer
002893
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Advancements in Mixed BDD and SAT Techniques / Cabodi, Gianpiero; Quer, Stefano - In: Advanced Formal Verification / ROLF DRECHSLER. - BOSTON : Kluwer Academic Publishers, 2004. - ISBN 9781402077210. | 1-gen-2004 | CABODI, GianpieroQUER, Stefano | - |