@techreport{weko_30706_1,
   author	 = "橋本,辰範 and 堀田,博文",
   title	 = "並列プログラムの非決定的動作テスト方式",
   year 	 = "1991",
   institution	 = "NTT ソフトウェア研究所, NTT ソフトウェア研究所",
   number	 = "99(1991-PRO-005)",
   month	 = "nov"
}