@article{weko_11799_1,
   author	 = "深田,敦史 and 森,亮憲 and 中田,明夫 and 北道,淳司 and 樋口,昌宏 and 東野,輝夫",
   title	 = "観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法",
   journal	 = "情報処理学会論文誌",
   year 	 = "2001",
   volume	 = "42",
   number	 = "12",
   pages	 = "3063--3071",
   month	 = "dec"
}