@techreport{weko_113767_1,
   author	 = "張,漢明 and 野呂,昌満 and 沢田,篤史",
   title	 = "同時性を考慮した並行システムの振舞い検証に関する考察",
   year 	 = "2015",
   institution	 = "南山大学理工学部ソフトウェア工学科, 南山大学理工学部ソフトウェア工学科, 南山大学理工学部ソフトウェア工学科",
   number	 = "13",
   month	 = "feb"
}