Unfoldings - a partial-order approach to model checking
- Författare
- Javier Esparza
- (Javier Esparza, Keijo Heljanko.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2008 | Tyskland, Berlin | xii, 169 sidor. ill. | 978-3-540-77425-9 |
| Springer-Verlag Berlin Heidelberg | 2008 | Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg | v.: digital | 978-3-540-77426-6 |