@article{weko_15803_1,
   author	 = "石浦,菜岐佐 and 安浦,寛人 and 矢島,備三",
   title	 = "時間優先評価アルゴリズムによる論理シミュレーションの高速化",
   journal	 = "情報処理学会論文誌",
   year 	 = "1985",
   volume	 = "26",
   number	 = "3",
   pages	 = "459--466",
   month	 = "may"
}