@techreport{weko_99302_1,
   author	 = "張,漢明 and 沢田,篤史 and 野呂,昌満",
   title	 = "際どい実行順序を考慮した並行システム検証に関する考察",
   year 	 = "2014",
   institution	 = "南山大学情報理工学部ソフトウェア工学科, 南山大学情報理工学部ソフトウェア工学科, 南山大学情報理工学部ソフトウェア工学科",
   number	 = "8",
   month	 = "mar"
}