André Platzer
2 published titles
Logical analysis of hybrid systems : proving theorems for complex dynamics
1 edition
- ISBN: 9783642145094
- Springer
- 2010
- Details
Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday Oldenburg, Germany, September 8-9, 2015, proceedings
(Contributor)
1 edition
- ISBN: 9783319235059
- Springer
- 2015
- Details
