Catalin Dima, Ruggero Lanotte. Removing All Silent Transitions from Timed Automata. In Joël Ouaknine, Frits W. Vaandrager, editors, Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Volume 5813 of Lecture Notes in Computer Science, pages 118-132, Springer, 2009. [doi]
Abstract is missing.