A
Amir Pnueli
7 works on record
Works

Perspectives of Systems Informatics

Hybrid systems

Verification of Sequential and Concurrent Programs

Temporal Logic in Specification

The temporal logic of reactive and concurrent systems
Hybrid Systems : Computation and Control
Hybrid Systems : Computation and Control
Compositionality : the Significant Difference
Compositionality : the Significant Difference