Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio. Representation of a Discretely Controlled Continuous System in Tense Arithmetic. Theoretical Computer Science, 42:220-231, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.