@article{weko_10681_1,
   author	 = "小島,慶久 and 藤田,昌宏",
   title	 = "分割二分決定グラフによる有限状態機械の到達可能性解析のPCクラスタを用いた並列実装手法の提案",
   journal	 = "情報処理学会論文誌",
   year 	 = "2005",
   volume	 = "46",
   number	 = "3",
   pages	 = "803--815",
   month	 = "mar"
}