Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz. Why Liveness for Timed Automata Is Hard, and What We Can Do About It. In Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen, editors, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India. Volume 65 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{HerbreteauSTW16,
title = {Why Liveness for Timed Automata Is Hard, and What We Can Do About It},
author = {Frédéric Herbreteau and B. Srivathsan and Thanh-Tung Tran and Igor Walukiewicz},
year = {2016},
doi = {10.4230/LIPIcs.FSTTCS.2016.48},
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.48},
researchr = {https://researchr.org/publication/HerbreteauSTW16},
cites = {0},
citedby = {0},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India},
editor = {Akash Lal and S. Akshay and Saket Saurabh and Sandeep Sen},
volume = {65},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-027-9},
}