Efficient Syntax-Driven Lumping of Differential Equations.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Browse the full TACAS paper archive.