ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations / Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M. - (2017), pp. 310-328. ( TACAS 2017 Uppsala April 2017) [10.1007/978-3-662-54580-5_19].
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
Tribastone M;Tschaikowski M
2017
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

