CIBRARIO BERTOLOTTI, IVAN

CIBRARIO BERTOLOTTI, IVAN  

I. . Bertolotti  

011741  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
Citazione Data di pubblicazione Autori File
Model checking / Hu, Tingting; CIBRARIO BERTOLOTTI, Ivan. - STAMPA. - (2014). 1-gen-2014 HU, TINGTINGCIBRARIO BERTOLOTTI, IVAN K13129_CH15_Model_Checking.pdf