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, G., Murciano, M.. - (2008). 1-gen-2008 CABODI, GianpieroMURCIANO, MARCO -