@article{weko_15956_1,
   author	 = "藤田,昌宏 and 田中,英彦 and 元岡達",
   title	 = "時相論理によるハードウェア仕様記述とPrologを用いたゲート回路の検証",
   journal	 = "情報処理学会論文誌",
   year 	 = "1984",
   volume	 = "25",
   number	 = "2",
   pages	 = "166--179",
   month	 = "mar"
}