Automated Verification of Continuous Time Systems by Discrete Temporal Induction.

Angelo Gargantini, Angelo Morzenti

Browse the full TIME paper archive.