👤

Oded Maler

3 books

Books by Oded Maler

Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings
2009
Verification and Synthesis of
Verification and Synthesis of Hybrid Systems
2006
Computer Aided Verification
Computer Aided Verification
1993