%0 Journal Article %1 journals/fac/TanP21 %A Tan, Yong Kiam %A Platzer, André %D 2021 %J Formal Aspects Comput. %K dblp %N 4-5 %P 461-518 %T An axiomatic approach to existence and liveness for differential equations. %U http://dblp.uni-trier.de/db/journals/fac/fac33.html#TanP21 %V 33

@article{journals/fac/TanP21, added-at = {2023-08-28T00:00:00.000+0200}, author = {Tan, Yong Kiam and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/2ad4d6de4e1d39e0c7687f094dc186f0c/dblp}, ee = {https://www.wikidata.org/entity/Q115389095}, interhash = {3b17202fa28b4813b38d5675202b5c2a}, intrahash = {ad4d6de4e1d39e0c7687f094dc186f0c}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = {4-5}, pages = {461-518}, timestamp = {2024-04-09T05:38:02.000+0200}, title = {An axiomatic approach to existence and liveness for differential equations.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac33.html#TanP21}, volume = 33, year = 2021 }