@techreport{weko_28197_1,
   author	 = "川久保,和雄 and 平石,裕実",
   title	 = "正則時相論理を用いた二重系照合回路のフェールセーフ性の形式的検証",
   year 	 = "1991",
   institution	 = "福山大学工学部, 京都産業大学工学部",
   number	 = "87(1991-SLDM-059)",
   month	 = "oct"
}