Verification of Policy-based Self-Managed Cell Interactions Using Alloy

Title:	Verification of Policy-based Self-Managed Cell Interactions Using Alloy
Authors:	Schaeffer Filho, A Lupu, E Sloman, M Eisenbach, S
Item Type:	Conference Paper
Issue Date:	31-Jul-2009
URI:	http://hdl.handle.net/10044/1/5717
Publisher Link:	http://dx.doi.org/10.1109/POLICY.2009.24
DOI:	10.1109/POLICY.2009.24
ISBN:	978-0-7695-3742-9
Publisher:	IEEE
Presented At:	IEEE International Symposium on Policies for Distributed Systems and Networks (Policy)
Start Page:	37
End Page:	40
Copyright Statement:	"©20xx IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE."
Conference Location:	London, UK
Appears in Collections:	Distributed Software Engineering Computing