iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/computing/AuerR12.ris
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 -