Oded Maler, Grégory Batt. Approximating Continuous Systems by Timed Automata. In Jasmin Fisher, editor, Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings. Volume 5054 of Lecture Notes in Computer Science, pages 77-89, Springer, 2008. [doi]
Abstract is missing.