Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14 - 15, 2011
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6823 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | Literaturangaben |
|---|---|
| Beschreibung: | X, 193 S. graph. Darst. 24 cm |
| ISBN: | 9783642223051 3642223052 |