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]
Abstract is missing.