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 /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Berlín, Alemania :
Springer,
1999, c1999
|
| Colección: | (Lecture Notes in Computer Science)
|
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: 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 /