@techreport{weko_182680_1,
   author	 = "辻,光顕 and 長谷部,浩二 and 加藤,和彦",
   title	 = "端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法",
   year 	 = "2017",
   institution	 = "筑波大学情報学群情報科学類, 筑波大学システム情報系情報工学域, 筑波大学システム情報系情報工学域",
   number	 = "2",
   month	 = "jul"
}