by J. Hooman
Paperback
ISBN: 978-0-387-54947-7
ISBN-10: 0-387-54947-1
Springer Verlag · 1991
|
|
by J. HoomanPaperback
ISBN: 978-0-387-54947-7 ISBN-10: 0-387-54947-1 Springer Verlag · 1991 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, Band 558) |