Reasoning About Continuous Systems

K. Mani Chandy. Reasoning About Continuous Systems. Science of Computer Programming, 14(2-3):117-132, 1990.

Abstract

Abstract is missing.