Supratik Mukhopadhyay, Andreas Podelski. Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. In C. Pandu Rangan, Venkatesh Raman, Ramaswamy Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings. Volume 1738 of Lecture Notes in Computer Science, pages 232-244, Springer, 1999. [doi]
Abstract is missing.