【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Maler, Oded

ID:DA10669601

Alias Name: Maler, O

Search authors sharing the same name

Search Results1-2 of 2

1

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings

Ahmed Bouajjani, Oded Maler (eds.)

Springer c2009 Lecture notes in computer science 5643

Available at 4 libraries
2

Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings

Oded Maler, (ed.)

Springer-Verlag c1997 Lecture notes in computer science 1201

Available at 48 libraries

Search this author

Related Authors

CAV (Conference)