QUER, Stefano

QUER, Stefano  

Dipartimento di Automatica e Informatica  

S. Quer  

002893  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 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 -