Refining Abstractions of Hybrid Systems Using Counterexample Fragments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh. Refining Abstractions of Hybrid Systems Using Counterexample Fragments. In Manfred Morari, Lothar Thiele, editors, Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings. Volume 3414 of Lecture Notes in Computer Science, pages 242-257, Springer, 2005. [doi]

This author has not been identified. Look up 'Ansgar Fehnker' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Sumit Kumar Jha' in GoogleThis author has not been identified. Look up 'Bruce H. Krogh' in Google

runs on WebDSL