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]
@inproceedings{DimaL09,
title = {Removing All Silent Transitions from Timed Automata},
author = {Catalin Dima and Ruggero Lanotte},
year = {2009},
doi = {10.1007/978-3-642-04368-0_11},
url = {http://dx.doi.org/10.1007/978-3-642-04368-0_11},
researchr = {https://researchr.org/publication/DimaL09},
cites = {0},
citedby = {0},
pages = {118-132},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
editor = {Joël Ouaknine and Frits W. Vaandrager},
volume = {5813},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04367-3},
}