@inproceedings{AkshayGastinKrishna:CONCUR:2016,
Address = {Dagstuhl, Germany},
Annote = {Keywords: Timed automata, tree automata, pushdown systems, tree-width},
Author = {Akshay, S. and Gastin, Paul and Krishna, Shankara Narayanan},
BookTitle = {Proc. of CONCUR'16},
Editor = {Desharnais, Jos{\'e}e and Jagadeesan, Radha},
File = {Analyzing Timed Systems Using Tree Automata - Akshay, Gastin, Krishna (0) (0) - a - a - u.pdf},
ISBN = {978-3-95977-017-0},
ISSN = {1868-8969},
Keywords = {citesme!},
Pages = {27:1--27:14},
Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
Title = {{Analyzing Timed Systems Using Tree Automata}},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6177},
Volume = {59},
Year = {2016},
bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2016/6177},
bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.27},
date-added = {2017-01-10 15:42:37 +0000},
date-modified = {2017-05-19 10:16:03 +0000},
urn = {urn:nbn:de:0030-drops-61775},
doi = {10.4230/LIPIcs.CONCUR.2016.27}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A