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.003 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 + -