On simulation methods for timed automata

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Kaczmarczyk2010OnSM, title={On simulation methods for timed automata}, author={V{\'a}clav Kaczmarczyk and Zdenek Brad{\'a}c and Michal S{\'i}r}, booktitle={PDeS}, year={2010} }