@techreport{weko_81071_1,
   author	 = "阿部,雄貴 and 和泉,諭 and 小林,秀幸 and 高橋,薫",
   title	 = "モデル検査器NuSMVを用いたオントロジーの検証",
   year 	 = "2012",
   institution	 = "仙台高等専門学校, 東北大学電気通信研究所／情報科学研究科, 仙台高等専門学校, 仙台高等専門学校",
   number	 = "5",
   month	 = "mar"
}