Pavel Krcál, Wang Yi
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
CAV, 2006.
@inproceedings{CAV-2006-KrcalY,
author = "Pavel Krcál and Wang Yi",
booktitle = "{Proceedings of the 18th International Conference on Computer Aided Verification}",
doi = "10.1007/11817963_24",
isbn = "3-540-37406-X",
pages = "249--262",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Communicating Timed Automata: The More Synchronous, the More Difficult to Verify}",
volume = 4144,
year = 2006,
}