MPG.eBooks - Search Results - %((efficiency evaluation) or (efficiency equation))%22

Published 2017

Springer Berlin Heidelberg

Table of Contents: “... Checker. -ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations.-SV COMP...”