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