by Brent T. Hailpern
Paperback
ISBN: 978-0-387-11205-3
ISBN-10: 0-387-11205-7
Springer Verlag · 1982
|
|
by Brent T. HailpernPaperback
ISBN: 978-0-387-11205-3 ISBN-10: 0-387-11205-7 Springer Verlag · 1982 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, Band 129) |