Pierluigi San Pietro, Zhe Dang. Automatic Verification of Multi-queue Discrete Timed Automata. In Tandy Warnow, Binhai Zhu, editors, Computing and Combinatorics, 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings. Volume 2697 of Lecture Notes in Computer Science, pages 159-171, Springer, 2003. [doi]
Abstract is missing.