Similar Listings
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive Systems Vol. 1 : Specification Har
The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna
The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Ma
The Temporal Logic of Reactive and Concurrent Systems : Specification
The Temporal Logic of Reactive and Concurrent Systems - 9781461269502
Temporal Verification of Reactive Systems : Safety, Hardcover by Manna, Zohar...
Temporal Verification of Reactive Systems : Safety, Hardcover by Manna, Zohar...