@techreport{weko_30890_1, author = "濱口清治 and 平石,裕実 and 矢島,脩三", title = "分岐時間正則時相論理とそのモデル検査アルゴリズム", year = "1990", institution = "京都大学工学部, 京都大学工学部, 京都大学工学部", number = "44(1990-PRO-035)", month = "may" }