Verification of Policy-Based Self-Managed Cell Interactions Using Alloy (2009)

by A Schaeffer-Filho, E Lupu, M Sloman, S Eisenbach
Venue:Proc. 10th IEEE Symp. Policies for Distributed Systems and Networks (Policy 09