@article{AkshayGastinKrishna:LMCS:2018,
    Author = {Akshay, S. and Gastin, Paul and Krishna, Shankara Narayanan},
    File = {1604.08443 (0) - a - a - u.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {citesme!},
    Month = {May},
    Title = {{Analyzing Timed Systems Using Tree Automata}},
    URL = {https://lmcs.episciences.org/4489},
    Volume = {{Volume 14, Issue 2}},
    Year = {2018},
    bdsk-url-1 = {https://lmcs.episciences.org/4489},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(2:8)2018},
    date-added = {2018-05-15 06:49:24 +0000},
    date-modified = {2019-08-13 16:20:38 +0200},
    doi = {10.23638/LMCS-14(2:8)2018}
}

@article{AkshayGastinKrishna:LMCS:2018, Author = {Akshay, S. and Gastin, Paul and Krishna, Shankara Narayanan}, File = {1604.08443 (0) - a - a - u.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {citesme!}, Month = {May}, Title = {{Analyzing Timed Systems Using Tree Automata}}, URL = {https://lmcs.episciences.org/4489}, Volume = {{Volume 14, Issue 2}}, Year = {2018}, bdsk-url-1 = {https://lmcs.episciences.org/4489}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(2:8)2018}, date-added = {2018-05-15 06:49:24 +0000}, date-modified = {2019-08-13 16:20:38 +0200}, doi = {10.23638/LMCS-14(2:8)2018} }