Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio. Formal Analysis for Continous Systems Controlled by Programs. In Joxan Jaffar, Roland H. C. Yap, editors, Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN 96, Singapore, December 2-5, 1996, Proceedings. Volume 1179 of Lecture Notes in Computer Science, pages 347-348, Springer, 1996.
Abstract is missing.