Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams.

Rdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jrg Peter

Browse the full RTSS paper archive.