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.rdf
Ekaterina Auer and Andreas Rauh: VERICOMP: a system to compare and assess verified IVP solvers. (2012) journals/computing/AuerR12 10.1007/S00607-011-0178-4 VERICOMP: a system to compare and assess verified IVP solvers. 2 Ekaterina Auer 1 Andreas Rauh 2 163-172 Computing Computing 94 2-4 2012 provenance information for RDF data of dblp record 'journals/computing/AuerR12' 2022-04-09T12:26:32+0200