top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Model checking software 9th International SPIN workshop Grenoble, France, April 11-13, 2002 proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Model checking software
ID:
981318
Creatori:
(554432) International SPIN workshop <9. ; 2002 ; Grenable, France >
...