Avoiding shared clocks in networks of timed automata (2012)

by Sandie Balaguer, Thomas Chatain
Venue:In Maciej Koutny and Irek Ulidowski, editors, Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR’12), volume 7454 of Lecture Notes in Computer Science