by: Zohar Manna · Amir Pnueli
Hardcover
ISBN: 978-0-387-94459-3
ISBN-10: 0-387-94459-1
Springer · 1995
|
|
by: Zohar Manna · Amir PnueliHardcover
ISBN: 978-0-387-94459-3 ISBN-10: 0-387-94459-1 Springer · 1995 |
| See also: | ||
| 1995 | Gebundene Ausgabe | Temporal Verification of Reactive Systems, Safety |