Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Model checking software 10. International SPIN workshop Portland, Or, USA, May 9-10, 2003 proceedings

Export / Download

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

Model checking software
ID: 952031

Creatori:

(563350) International SPIN workshop on model checking of software <10. ; 2003 ; Portland>

Espandi persona

...