@techreport{weko_28341_1, author = "高橋,瑞樹 and 石浦,菜岐佐 and 矢島,脩三", title = "時間記号論理シミュレーションの結果解析系", year = "1988", institution = "京都大学工学部, 京都大学工学部, 京都大学工学部", number = "78(1988-SLDM-044)", month = "oct" }