von: Javier Esparza · Keijo Heljanko
Gebunden
ISBN: 978-3-540-77425-9
ISBN-10: 3-540-77425-4
Springer · 2008
|
|
von: Javier Esparza · Keijo HeljankoGebunden
ISBN: 978-3-540-77425-9 ISBN-10: 3-540-77425-4 Springer · 2008 |
| Siehe auch: | ||
| 2010 | Taschenbuch | Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series) |