Emmanuel Zarpas, Cindy Eisner, Sivan Tal. Policy Validation for System Automation: A Case Study. In 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA. pages 46-53, IEEE Computer Society, 2008. [doi]
Abstract is missing.