@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00239664,
 author = {塩, 雅之 and 五十嵐, 滋 and 水谷, 哲也 and 白銀, 哲也},
 book = {第40回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {143--149},
 publisher = {情報処理学会},
 title = {Tense Arithmeticに基づく実時間知的プログラムの数理的表現ならびに解析},
 volume = {1999},
 year = {1999}
}