GARCIA GALEANO, LUZ AMANDA

GARCIA GALEANO, LUZ AMANDA  

013388  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
Citazione Data di pubblicazione Autori File
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2008), pp. 205-212. (Intervento presentato al convegno FMCAD 2008: Formal Methods in Computer Aided Design tenutosi a Portland, OR, USA nel 17-20 novembre 2008). 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano -