Frédéric Herbreteau, D. Kini, B. Srivathsan, Igor Walukiewicz. Using non-convex approximations for efficient analysis of timed automata: Extended version. Chakraborty, Supratik and Kumar, Amit.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India, Dec 2011, Mumbai, India. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 13, pp.78-89, 2011, LIPIcs.
〈10.4230/LIPIcs.FSTTCS.2011.78〉.
〈inria-00559902v3〉