Pawel Parys, Igor Walukiewicz
Weak Alternating Timed Automata
ICALP, 2009.
@inproceedings{ICALP-v2-2009-ParysW, author = "Pawel Parys and Igor Walukiewicz", booktitle = "{Proceedings of the 36th International Colloquium on Automata, Languages and Programming, Part II}", doi = "10.1007/978-3-642-02930-1_23", isbn = "978-3-642-02929-5", pages = "273--284", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Weak Alternating Timed Automata}", volume = 5556, year = 2009, }