@inproceedings{AkshayGastinKrishnaSarkar:CONCUR:2017,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Timed automata, tree automata, pushdown systems, tree-width},
    Author = {Akshay, S. and Gastin, Paul and Krishna, Shankara Narayanan and Sarkar, Ilias},
    BookTitle = {Proc. of CONCUR'17},
    Editor = {Meyer, Roland and Nestmann, Uwe},
    File = {LIPIcs-CONCUR-2017-39 (1) (0) - a - a - r.pdf},
    ISBN = {978-3-95977-048-4},
    ISSN = {1868-8969},
    Pages = {39:1--39:15},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{Towards an Efficient Tree Automata Based Technique for Timed Systems}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7801},
    Volume = {85},
    Year = {2017},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2017/7801},
    bdsk-url-2 = {https://dx.doi.org/10.4230/LIPIcs.CONCUR.2017.39},
    date-added = {2018-03-12 19:06:24 +0000},
    date-modified = {2018-03-12 19:06:52 +0000},
    urn = {urn:nbn:de:0030-drops-78017},
    doi = {10.4230/LIPIcs.CONCUR.2017.39}
}

@inproceedings{AkshayGastinKrishnaSarkar:CONCUR:2017, Address = {Dagstuhl, Germany}, Annote = {Keywords: Timed automata, tree automata, pushdown systems, tree-width}, Author = {Akshay, S. and Gastin, Paul and Krishna, Shankara Narayanan and Sarkar, Ilias}, BookTitle = {Proc. of CONCUR'17}, Editor = {Meyer, Roland and Nestmann, Uwe}, File = {LIPIcs-CONCUR-2017-39 (1) (0) - a - a - r.pdf}, ISBN = {978-3-95977-048-4}, ISSN = {1868-8969}, Pages = {39:1--39:15}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{Towards an Efficient Tree Automata Based Technique for Timed Systems}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7801}, Volume = {85}, Year = {2017}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2017/7801}, bdsk-url-2 = {https://dx.doi.org/10.4230/LIPIcs.CONCUR.2017.39}, date-added = {2018-03-12 19:06:24 +0000}, date-modified = {2018-03-12 19:06:52 +0000}, urn = {urn:nbn:de:0030-drops-78017}, doi = {10.4230/LIPIcs.CONCUR.2017.39} }