ID:DA10886202
Search authors sharing the same name
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann
IOS Press c2012 NATO science for peace and security series v. 33 . D: Information and communication security
print
Available at 1 libraries
Orna Grumberg, Helmut Veith (eds.)
Springer c2008 Lecture notes in computer science 5000
Available at 7 libraries
Orna Grumberg, Michael Huth (eds.)
Springer c2007 Lecture notes in computer science 4424
Available at 2 libraries
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
MIT Press c1999
Available at 47 libraries
Orna Grumberg (ed.)
Springer-Verlag c1997 Lecture notes in computer science 1254
Available at 45 libraries
