Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlín, Alemania :
Springer,
1999, c1999
|
| Schriftenreihe: | (Lecture Notes in Computer Science)
|
| Online-Zugang: | Ver documento en línea |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
Ähnliche Einträge: Theoretical and Practical Aspects of SPIN Model Checking :
- Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
- Modern Aspects of Spin Physics /
- SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
- Spin Electronics /
- Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
- Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings /