@inproceedings{weko_89251_1,
   author	 = "早水,公二 and 山形,頼之 and 林,伸行 and 大崎,人士 and 辰野,功 and 兼松,順三 and 白井,大",
   title	 = "モデル検査による高レジリエンス・システムの検証",
   booktitle	 = "ウィンターワークショップ2013・イン・那須 論文集",
   year 	 = "2013",
   volume	 = "2013",
   number	 = "",
   pages	 = "3--4",
   month	 = "jan"
}