GARCIA GALEANO, LUZ AMANDA
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 | - |