1.
Record Nr.
UNISA990000209070203316
Autore
International SPIN workshops <5. ; Trento ; 1999>
Titolo
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshop : Trento, Italy, July 5, 1999: Tolosa, France, September 21 and 24, 1999 : proceedings / Dennis Dams ...[et al.] (eds.)
Pubbl/distr/stampa
Berlino : Springer-Verlag, copyr. 1999
ISBN
3-540-66499-8
Descrizione fisica
VI; 276 p. : ill. ; 22 cm
Collana
Lecture notes in computer science ; 1680
Disciplina
005.2
Collocazione
001 LNCS (1680)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia