Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer. On Presburger Liveness of Discrete Timed Automata. In Afonso Ferreira, Horst Reichel, editors, STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings. Volume 2010 of Lecture Notes in Computer Science, pages 132-143, Springer, 2001. [doi]
Abstract is missing.