MURCIANO, MARCO
MURCIANO, MARCO
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
017081
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Interpolant-Based Unbounded Model Checking / Cabodi, Gianpiero; Murciano, Marco. - (2008). | 1-gen-2008 | CABODI, GianpieroMURCIANO, MARCO | - |
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata / Murciano, Marco; Nocco, S.. - (2006), pp. 1-77. | 1-gen-2006 | MURCIANO, MARCO + | - |