ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Browse the full TACAS paper archive.