@techreport{weko_34212_1, author = "鴨田,浩明 and 河野,和宏 and 伊藤,義道 and 馬場口,登", title = "モデル検査ツールによるポリシー整合性検証", year = "2007", institution = "株式会社 NTT データ/大阪大学, 大阪大学, 大阪大学, 大阪大学", number = "16(2007-DPS-130)", month = "mar" }