CABODI, Gianpiero
CABODI, Gianpiero
Dipartimento di Automatica e Informatica
001764
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Interpolant-Based Unbounded Model Checking / Cabodi, Gianpiero; Murciano, Marco. - (2008). | 1-gen-2008 | CABODI, GianpieroMURCIANO, MARCO | - |