Model Checking Software electronic resource : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / edited by Susanne Graf, Laurent Mounier
- Författare
- Spain) 2004 : (11th International SPIN Workshop Barcelona
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |