The Temporal Logic of Reactive and Concurrent Systems
Subtitle: Specification
Publisher: Springer
Published: December 18, 1991
Language: eng
Number of pages: 448
ISBN-13: 9780387976648