@techreport{weko_74121_1,
   author	 = "加藤,淳 and 狼,嘉彰",
   title	 = "モデル検査における安全性プロパティの系統的な導出手法",
   year 	 = "2011",
   institution	 = "慶應義塾大学大学院システムデザイン・マネジメント研究科, 慶應義塾大学大学院システムデザイン・マネジメント研究科",
   number	 = "25",
   month	 = "mar"
}