S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar. Towards an Efficient Tree Automata Based Technique for Timed Systems. In Roland Meyer, Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. Volume 85 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.