Model Checking Software electronic resource : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / edited by Jaco van der Pol, Michael Weber
- Författare
- Netherlands) 2010 Sept. 27-29 : (17th International SPIN Workshop Enschede
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |