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
...