Chunping Li. Reasoning about continuous change: a formal method based on process description. In Hiroyuki Tarumi, Yuefeng Li, Tetsuya Yoshida, editors, Proceedings of the 2005 International Conference on Active Media Technology, AMT 2005, Kagawa International Conference Hall, Takamatsu, Kagawa, Japan, May 19-21, 2005. pages 551-555, IEEE, 2005. [doi]
Abstract is missing.