A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba. A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. In Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa, editors, Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Volume 6342 of Lecture Notes in Computer Science, pages 83-98, Springer, 2010. [doi]

This author has not been identified. Look up 'Lasse Jacobsen' in GoogleThis author has not been identified. Look up 'Morten Jacobsen' in GoogleThis author has not been identified. Look up 'Mikael H. Møller' in GoogleThis author has not been identified. Look up 'Jirí Srba' in Google

runs on WebDSL