@article{HerSriTra20,
    Author = {Herbreteau, Fr{\'{e}}d{\'{e}}ric and Srivathsan, B. and Tran, Thanh{-}Tung and Walukiewicz, Igor},
    File = {Why Liveness for Timed Automata Is Hard, and What We Can Do About It - igw-why20.pdf},
    Journal = {{ACM} Trans. Comput. Log.},
    Number = {3},
    Pages = {17:1--17:28},
    Title = {Why Liveness for Timed Automata Is Hard, and What We Can Do About It},
    URL = {https://doi.org/10.1145/3372310},
    Volume = {21},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.1145/3372310},
    date-added = {2021-04-07 14:22:32 +0200},
    date-modified = {2021-04-07 14:22:32 +0200},
    doi = {10.1145/3372310}
}

@article{HerSriTra20, Author = {Herbreteau, Fr{\'{e}}d{\'{e}}ric and Srivathsan, B. and Tran, Thanh{-}Tung and Walukiewicz, Igor}, File = {Why Liveness for Timed Automata Is Hard, and What We Can Do About It - igw-why20.pdf}, Journal = {{ACM} Trans. Comput. Log.}, Number = {3}, Pages = {17:1--17:28}, Title = {Why Liveness for Timed Automata Is Hard, and What We Can Do About It}, URL = {https://doi.org/10.1145/3372310}, Volume = {21}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.1145/3372310}, date-added = {2021-04-07 14:22:32 +0200}, date-modified = {2021-04-07 14:22:32 +0200}, doi = {10.1145/3372310} }