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 ) [10.1007/978-3-662-54580-5_19].
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
Tschaikowski M
2017
File allegati a 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.


