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]
Abstract is missing.