Most Popular Books
- Verification and Synthesis of Hybrid Systems (Control Engineering)
- Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science)
- Hybrid and Real-Time Systems: International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science)
