K. Mani Chandy. Reasoning About Continuous Systems. Science of Computer Programming, 14(2-3):117-132, 1990.
@article{Chandy90,
title = {Reasoning About Continuous Systems},
author = {K. Mani Chandy},
year = {1990},
researchr = {https://researchr.org/publication/Chandy90},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {14},
number = {2-3},
pages = {117-132},
}