CABODI, Gianpiero

CABODI, Gianpiero  

Dipartimento di Automatica e Informatica  

001764  

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