Formal Analysis for Continous Systems Controlled by Programs

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.

Authors

Shigeru Igarashi

This author has not been identified. Look up 'Shigeru Igarashi' in Google

Tetsuya Mizutani

This author has not been identified. Look up 'Tetsuya Mizutani' in Google

Tetsuya Shirogane

This author has not been identified. Look up 'Tetsuya Shirogane' in Google

Masayuki Shio

This author has not been identified. Look up 'Masayuki Shio' in Google