A Graph-Based Transformation Reduction to Reach UPPAAL States Faster.

Jonas Rinast, Sibylle Schupp, Dieter Gollmann

Browse the full FM paper archive.