ISBN 9783540611554 books & textbook
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066)
Alur, Rajeev Henzinger, Thomas A. Sontag, Eduardo D.
Springer /1996-04-24 Paperback / 628 Pages
isbn-10: 354061155X / isbn-13: 9783540611554
