@incollection{Platzer,
    doi = {10.1007/978-3-540-71070-7_15},
    url = {https://doi.org/10.1007%2F978-3-540-71070-7_15},
    publisher = {Springer Berlin Heidelberg},
    pages = {171--178},
    author = {Andr{\'{e}} Platzer and Jan-David Quesel},
    title = {{KeYmaera}: A Hybrid Theorem Prover for Hybrid Systems (System Description)},
    booktitle = {Automated Reasoning}
}

@incollection{Platzer, doi = {10.1007/978-3-540-71070-7_15}, url = {https://doi.org/10.1007%2F978-3-540-71070-7_15}, publisher = {Springer Berlin Heidelberg}, pages = {171--178}, author = {Andr{\'{e}} Platzer and Jan-David Quesel}, title = {{KeYmaera}: A Hybrid Theorem Prover for Hybrid Systems (System Description)}, booktitle = {Automated Reasoning} }