Amir Pnueli
Amir Pnueli
1 books in the database
Books
Co-authored books and collections
Books that list Amir Pnueli among their authors but not as the lead author: co-written works, collections and compilations.
Temporal Logic in SpecificationHoward Barringer
Temporal Logic in Specification
Howard Barringer · 2007
Hybrid systemsOded Maler
Hybrid systems
Oded Maler · 2003
The temporal logic of reactive and concurrent systemsZohar Manna
The temporal logic of reactive and concurrent systems
Zohar Manna · 1991
Verification of Sequential and Concurrent ProgramsKrzysztof Apt
Verification of Sequential and Concurrent Programs
Krzysztof Apt · 2010
Compositionality : the Significant DifferenceWillem-Paul de Roever
Compositionality : the Significant Difference
Willem-Paul de Roever · 2003
Hybrid Systems : Computation and ControlFreek Wiedijk
Hybrid Systems : Computation and Control
Freek Wiedijk · 2003