Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE.

Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Browse the full ATVA paper archive.