Approaches to the formal verification of hybrid systems (2001)

by S Kowalewski, P Herrmann, S Engell, H Krumm, H Treseler, Y Lakhnech, R Huuck, B Lukoschus
Venue:Automatisierungstechnik