Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige. Challenges in Constraint-Based Analysis of Hybrid Systems. In Angelo Oddi, François Fages, Francesca Rossi, editors, Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers. Volume 5655 of Lecture Notes in Computer Science, pages 51-65, Springer, 2008. [doi]
Abstract is missing.