The Temporal Logic of Reactive and Concurrent Systems

von: Zohar Manna · Amir Pnueli

Gebunden

Details (Deutschland)

ISBN-13: 978-3-540-97664-6

ISBN-10: 3-540-97664-7

Springer, Berlin · 1992