top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Model checking software
ID:
4199384
Creatori:
(190946) Weber, Michael
...
(1755261) Pol, Jaco ˜van deœ
...
Persona
Opera