@article{weko_174243_1,
   author	 = "來間,啓伸 and 中島,震",
   title	 = "Event-Bを使った時間依存性のあるシステムのモデル化と動作分析のケーススタディ",
   journal	 = "情報処理学会論文誌",
   year 	 = "2016",
   volume	 = "57",
   number	 = "8",
   pages	 = "1690--1702",
   month	 = "aug"
}