The Temporal Logic of Reactive and Concurrent Systems: Specification
by:
Zohar Manna
·
Amir Pnueli
Hardcover
details (
United States
).
ISBN: 978-0-387-97664-8
ISBN-10: 0-387-97664-7
Springer
· 1991
