An axiomatic approach to existence and liveness for differential equations

@article{DBLP:journals/fac/TanP21,
	pdf = {https://link.springer.com/content/pdf/10.1007/s00165-020-00525-0.pdf},
	ref = {DBLP:conf/fm/TanP19},
	refname = {FM'19},
	author = {['Yong Kiam Tan', 'André Platzer']},
	title = {An Axiomatic Approach to Existence and Liveness
               for Differential Equations},
	journal = {Formal Aspects Comput.},
	volume = {33},
	number = {4},
	pages = {461-518},
	year = {2021},
	doi = {10.1007/s00165-020-00525-0},
	issn = {0934-5043},
	note = {Special issue for selected papers from FM'19}
}