Angelo Gargantini, Angelo Morzenti. Automated Verification of Continuous Time Systems by Discrete Temporal Induction. In 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. pages 19-26, IEEE Computer Society, 2006. [doi]
Abstract is missing.