ID:DA10886202
同姓同名の著者を検索
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
所蔵館1館
Orna Grumberg, Helmut Veith (eds.)
Springer c2008 Lecture notes in computer science 5000
所蔵館7館
Orna Grumberg, Michael Huth (eds.)
Springer c2007 Lecture notes in computer science 4424
所蔵館2館
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
MIT Press c1999
所蔵館46館
Orna Grumberg (ed.)
Springer-Verlag c1997 Lecture notes in computer science 1254
所蔵館45館
