@techreport{weko_62009_1,
   author	 = "矢野,恭平 and 小池,隆",
   title	 = "状態遷移表のモデル検査における LTL 検証パターン",
   year 	 = "2009",
   institution	 = "富士ソフト株式会社, 富士ソフト株式会社",
   number	 = "31(2009-SE-163)",
   month	 = "mar"
}