Peter Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen. Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. 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 73-87, Springer, 2009. [doi]
@inproceedings{BulychevCDL09,
title = {Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation},
author = {Peter Bulychev and Thomas Chatain and Alexandre David and Kim Guldstrand Larsen},
year = {2009},
doi = {10.1007/978-3-642-04368-0_8},
url = {http://dx.doi.org/10.1007/978-3-642-04368-0_8},
researchr = {https://researchr.org/publication/BulychevCDL09},
cites = {0},
citedby = {0},
pages = {73-87},
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},
}