Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. In Paul Pettersson, Wang Yi, editors, Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Volume 3829 of Lecture Notes in Computer Science, pages 81-94, Springer, 2005. [doi]

This author has not been identified. Look up 'Gerd Behrmann' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Jacob Illum Rasmussen' in Google

runs on WebDSL