Constraint-based approach for analysis of hybrid systems, (2008)

by S Gulwani, A Tiwari
Venue:Proceedings of 20th International Conference on Computer Aided Verification (CAV 2008), LNCS 5123, Springer,