CIBRARIO BERTOLOTTI, IVAN

CIBRARIO BERTOLOTTI, IVAN  

I. . Bertolotti  

011741  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
Citazione Data di pubblicazione Autori File
Model checking / Hu, Tingting; CIBRARIO BERTOLOTTI, Ivan - In: Digital Avionics Handbook, 3rd editionSTAMPA. - [s.l] : CRC press - Taylor and Francis Group, 2014. - ISBN 9781439868614. 1-gen-2014 HU, TINGTINGCIBRARIO BERTOLOTTI, IVAN -