@inproceedings{weko_239664_1,
   author	 = "塩,雅之 and 五十嵐,滋 and 水谷,哲也 and 白銀,哲也",
   title	 = "Tense Arithmeticに基づく実時間知的プログラムの数理的表現ならびに解析",
   booktitle	 = "第40回プログラミング・シンポジウム報告集",
   year 	 = "1999",
   volume	 = "1999",
   number	 = "",
   pages	 = "143--149",
   month	 = "jan"
}