Alberto E. Schaeffer Filho, Emil C. Lupu, Morris Sloman, Susan Eisenbach. Verification of Policy-Based Self-Managed Cell Interactions Using Alloy. In POLICY 2009, IEEE International Symposium on Policies for Distributed Systems and Networks, London, UK, 20-22 July 2009. pages 37-40, IEEE Computer Society, 2009. [doi]
Abstract is missing.