Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio. Representation of a Discretely Controlled Continuous System in Tense Arithmetic. Theoretical Computer Science, 42:220-231, 2001. [doi]
@article{MizutaniIS01, title = {Representation of a Discretely Controlled Continuous System in Tense Arithmetic}, author = {Tetsuya Mizutani and Shigeru Igarashi and Masayuki Shio}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume42.html}, tags = {control systems}, researchr = {https://researchr.org/publication/MizutaniIS01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {42}, pages = {220-231}, }