Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/computing/AuerR12
AU - Auer, Ekaterina
AU - Rauh, Andreas
TI - VERICOMP: a system to compare and assess verified IVP solvers.
JO - Computing
VL - 94
IS - 2-4
SP - 163
EP - 172
PY - 2012//
DO - 10.1007/S00607-011-0178-4
UR - https://doi.org/10.1007/s00607-011-0178-4
ER -