Amir Pnueli

ספרים שבהם Amir Pnueli מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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