Verification of Sequential and Concurrent ProgramsKrzysztof Apt, Frank S. de Boer, Amir Pnueli · First published 2010Open the Tome
Compositionality : the Significant DifferenceWillem-Paul de Roever, Hans Langmaack, Amir Pnueli · First published 2003Open the Tome
Hybrid Systems : Computation and ControlFreek Wiedijk, Oded Maler, Amir Pnueli · First published 2003Open the Tome
The temporal logic of reactive and concurrent systemsZohar Manna, Amir Pnueli · First published 1991Open the Tome
