@article{https://doi.org/10.4230/lipics.fsttcs.2009.2334,
    doi = {10.4230/LIPICS.FSTTCS.2009.2334},
    url = {http://drops.dagstuhl.de/opus/volltexte/2009/2334/},
    author = {Taly, Ankur and Tiwari, Ashish},
    keywords = {Computer Science, 000 Computer science, knowledge, general works},
    language = {en},
    title = {Deductive Verification of Continuous Dynamical Systems},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany},
    year = {2009}
}

@article{https://doi.org/10.4230/lipics.fsttcs.2009.2334, doi = {10.4230/LIPICS.FSTTCS.2009.2334}, url = {http://drops.dagstuhl.de/opus/volltexte/2009/2334/}, author = {Taly, Ankur and Tiwari, Ashish}, keywords = {Computer Science, 000 Computer science, knowledge, general works}, language = {en}, title = {Deductive Verification of Continuous Dynamical Systems}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany}, year = {2009} }