Rüdiger Ehlers, Daniel Fass, Michael Gerke 0002, Hans-Jörg Peter. Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. In Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30 - December 3, 2010. pages 360-371, IEEE Computer Society, 2010. [doi]
Abstract is missing.