%0 Journal Article %1 journals/jar/Immler18 %A Immler, Fabian %D 2018 %J J. Autom. Reason. %K dblp %N 1-4 %P 73-111 %T A Verified ODE Solver and the Lorenz Attractor. %U http://dblp.uni-trier.de/db/journals/jar/jar61.html#Immler18 %V 61

@article{journals/jar/Immler18, added-at = {2020-09-02T00:00:00.000+0200}, author = {Immler, Fabian}, biburl = {https://www.bibsonomy.org/bibtex/29f994f8800d5a68a68089c6bc82d269c/dblp}, ee = {https://www.wikidata.org/entity/Q90699726}, interhash = {1c8236ebc450061e43a6a7531be25c99}, intrahash = {9f994f8800d5a68a68089c6bc82d269c}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1-4}, pages = {73-111}, timestamp = {2020-09-09T13:34:28.000+0200}, title = {A Verified ODE Solver and the Lorenz Attractor.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar61.html#Immler18}, volume = 61, year = 2018 }