Chunping Li. A Formal Method Toward Reasoning About Continuous Change. In Geoffrey I. Webb, Xinghuo Yu, editors, AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings. Volume 3339 of Lecture Notes in Computer Science, pages 1174-1180, Springer, 2004. [doi]
Abstract is missing.