Search - List of Books by Amir Pnueli

Total Books: 3
Temporal Verification of Reactive Systems  Safety
The Temporal Logic of Reactive and Concurrent Systems Specification