On the blunting method in verified integration of ODEs (bibtex)

by Nedialkov, Nedialko S., Jackson, Kenneth R. and Neher, Markus

Reference:

On the blunting method in verified integration of ODEs (Nedialkov, Nedialko S., Jackson, Kenneth R. and Neher, Markus), In Reliab. Comput., volume 23, 2016.

Bibtex Entry:

@article {2016-RC-Neher,
    AUTHOR = {Nedialkov, Nedialko S. and Jackson, Kenneth R. and Neher,
              Markus},
     TITLE = {On the blunting method in verified integration of {ODE}s},
   JOURNAL = {Reliab. Comput.},
  FJOURNAL = {Reliable Computing},
    VOLUME = {23},
      YEAR = {2016},
     MONTH = {jul},
     PAGES = {15--34},
       URL = {http://interval.louisiana.edu/reliable-computing-journal/volume-23/reliable-computing-23-pp-015-034.pdf},
}