Franck Cassez, Thomas Chatain, Claude Jard. Symbolic Unfoldings for Networks of Timed Automata. In Susanne Graf, Wenhui Zhang, editors, Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Volume 4218 of Lecture Notes in Computer Science, pages 307-321, Springer, 2006. [doi]
@inproceedings{CassezCJ06,
title = {Symbolic Unfoldings for Networks of Timed Automata},
author = {Franck Cassez and Thomas Chatain and Claude Jard},
year = {2006},
doi = {10.1007/11901914_24},
url = {http://dx.doi.org/10.1007/11901914_24},
researchr = {https://researchr.org/publication/CassezCJ06},
cites = {0},
citedby = {0},
pages = {307-321},
booktitle = {Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006},
editor = {Susanne Graf and Wenhui Zhang},
volume = {4218},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-47237-1},
}