Combinatorial Abstraction Refinement for Feasibility Analysis

Martin Stigge, Wang Yi 0001. Combinatorial Abstraction Refinement for Feasibility Analysis. In Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, December 3-6, 2013. pages 340-349, IEEE, 2013. [doi]

Abstract

Abstract is missing.