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 |