Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.)
- Författare
- Austria) 2006 : (13th International SPIN Workshop Vienna
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |