Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Model checking software 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Model checking software
ID: 4184310

Creatori:

(746741) Godefroid, Patrice

Espandi persona

...