Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama. Policy Verification and Validation Framework Based on Model Checking Approach. In Fourth International Conference on Autonomic Computing (ICAC 07), Jacksonville, Florida, USA, June 11-15, 2007. pages 1, IEEE Computer Society, 2007. [doi]
Abstract is missing.