Verification of reactive systems - formal methods and algorithms
- Författare
- Klaus Schneider
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag | cop. 2004 | Tyskland, Berlin | xiv, 600 sidor. ill. | 3-540-00296-0 |