SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Berlín, Alemania :
Springer,
2000, c2000
|
| Col·lecció: | (Lecture Notes in Computer Science)
|
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: SPIN Model Checking and Software Verification :
- Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /
- Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
- Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
- Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
- Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings /
- Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /