Principles of the Spin Model Checker electronic resource
- Författare
- Mordechai. Ben-Ari
- (Mordechai Ben-Ari.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag London Limited | 2008 | Utgivningsland okänt / Ej specificerat, London | v.: digital | 978-1-84628-770-1 |