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.


