@techreport{weko_21104_1,
   author	 = "青木,翼 and 長谷川,哲夫 and 宮本,博暢 and 渡邊,竜明",
   title	 = "UPPAAL によるモデル検査適用ガイドラインの作成",
   year 	 = "2008",
   institution	 = "株式会社東芝, 株式会社東芝, 株式会社東芝, 株式会社東芝",
   number	 = "29(2008-SE-159)",
   month	 = "mar"
}