@article{weko_14061_1,
   author	 = "Naoyuki,Yamada and Yoshikatsu,Ueda and Junko,Ito and Tomoharu,Nakamura and Junichi,Yoshizawa and Satoshi,Matsuda",
   title	 = "Design Verification Based on Theorem - Proving Technique for Sequential Control Circuits with Timing Coordination",
   journal	 = "情報処理学会論文誌",
   year 	 = "1994",
   volume	 = "35",
   number	 = "12",
   pages	 = "2774--2784",
   month	 = "dec"
}