GARCIA GALEANO, LUZ AMANDA

GARCIA GALEANO, LUZ AMANDA  

013388  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione Data di pubblicazione Autori File
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, G., Camurati, P.E., Murciano, M., GARCIA GALEANO, L.A., Nocco, S., Quer, S.. - STAMPA. - (2008), pp. 205-212. (FMCAD 2008: Formal Methods in Computer Aided Design Portland, OR, USA 17-20 novembre 2008). 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano -