Amir Pnueli profile picture

Amir Pnueli

Is this your author profile? Create an account to customize it!

Stand Alone

Perspectives of Systems Informatics
Temporal Verification of Reactive Systems Safety
The Temporal Logic of Reactive and Concurrent Systems Specification
The Temporal Logic of Reactive and Concurrent Systems Specifications
Temporal Verification of Reactive Systems Safety
The Temporal Logic of Reactive and Concurrent Systems Specification
Amir Pnueli — Books & Biography | Menrva Books | MenrvaBooks