Temporal Verification of Reactive Systems, Safety

von: Zohar Manna · Amir Pnueli

Gebunden

ISBN: 978-3-540-94459-1

ISBN-10: 3-540-94459-1

Springer, Berlin · 1995

Siehe auch:
1995HardcoverTemporal Verification of Reactive Systems: Safety