Synthia: Verification and Synthesis for Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller. Synthia: Verification and Synthesis for Timed Automata. In Ganesh Gopalakrishnan, Shaz Qadeer, editors, Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Volume 6806 of Lecture Notes in Computer Science, pages 649-655, Springer, 2011. [doi]

This author has not been identified. Look up 'Hans-Jörg Peter' in GoogleThis author has not been identified. Look up 'Rüdiger Ehlers' in GoogleThis author has not been identified. Look up 'Robert Mattmüller' in Google

runs on WebDSL