Václav Kaczmarczyk, Zdenek Bradác, Michal Sír. On simulation methods for timed automata. In Adam Milik, Edward Hrynkiewicz, editors, 10th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2010, Gliwice, Poland, October 6-7, 2010. pages 221-226, International Federation of Automatic Control, 2010. [doi]
@inproceedings{KaczmarczykBS10,
title = {On simulation methods for timed automata},
author = {Václav Kaczmarczyk and Zdenek Bradác and Michal Sír},
year = {2010},
doi = {10.3182/20101006-2-PL-4019.00042},
url = {http://dx.doi.org/10.3182/20101006-2-PL-4019.00042},
researchr = {https://researchr.org/publication/KaczmarczykBS10},
cites = {0},
citedby = {0},
pages = {221-226},
booktitle = {10th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2010, Gliwice, Poland, October 6-7, 2010},
editor = {Adam Milik and Edward Hrynkiewicz},
publisher = {International Federation of Automatic Control},
isbn = {978-3-902661-95-1},
}