ID:DA03735841
Pnueli, Amir
Search authors sharing the same name
Oded Maler, Amir Pnueli (eds.)
Springer c2003 Lecture notes in computer science 2623
Available at 29 libraries
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Springer c1998 Lecture notes in computer science 1536
Available at 37 libraries
Zohar Manna and Amir Pnueli
Springer-Verlag 1995
Available at 30 libraries
Zohar Manna, Amir Pnueli
Springer-Verlag c1992-
[v. 1], Specification : us , [v. 1], Specification : gw
Available at 26 libraries
B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Springer-Verlag c1989 Lecture notes in computer science 398
: gw , : us
Available at 57 libraries
by Amir Pnueli
Computer Science Department, School of Humanities and Sciences, Stanford University 1968 Technical report no. CS102
Available at 1 libraries