top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Model checking software 8th International SPIN workshop Toronto, Canada, May 19-20, 2001 proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Model checking software
ID:
973452
Creatori:
(552619) International SPIN workshop <8. ; 2001 ; Toronto, Canada>
...