@techreport{weko_183103_1,
   author	 = "中島,丞 and 大村,廉",
   title	 = "並行に実行されるタスクを考慮したタスク検証システム",
   year 	 = "2017",
   institution	 = "豊橋技術科学大学大学院, 豊橋技術科学大学",
   number	 = "15",
   month	 = "aug"
}