On simulation methods for timed automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Václav Kaczmarczyk' in GoogleThis author has not been identified. Look up 'Zdenek Bradác' in GoogleThis author has not been identified. Look up 'Michal Sír' in Google

runs on WebDSL