MPG.eBooks - Author Search Results

Amir Pnueli

Amir Pnueli (; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Provided by Wikipedia

Cover Image

1

The Temporal Logic of Reactive and Concurrent Systems : Specification

by Manna, Zohar, Pnueli, Amir
Published 1992

Springer New York

Cover Image

2

Temporal Verification of Reactive Systems : Safety

by Manna, Zohar, Pnueli, Amir
Published 1995

Springer New York

Cover Image

3

Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

by Maler, Oded
Published 2003

Springer-Verlag Berlin Heidelberg

Other Authors: “...Pnueli, Amir...”

Cover Image

4

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

by Roever, Willem-Paul
Published 1998

Springer-Verlag Berlin Heidelberg

Other Authors: “...Pnueli, Amir...”

Cover Image

5

Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Pnueli, Amir...”

Cover Image

6

Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

Published 1989

Springer Berlin Heidelberg

Other Authors: “...Pnueli, Amir...”

Cover Image

7

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Pnueli, Amir...”