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]
@inproceedings{FilhoLSE09,
title = {Verification of Policy-Based Self-Managed Cell Interactions Using Alloy},
author = {Alberto E. Schaeffer Filho and Emil C. Lupu and Morris Sloman and Susan Eisenbach},
year = {2009},
doi = {10.1109/POLICY.2009.24},
url = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2009.24},
tags = {rule-based, C++},
researchr = {https://researchr.org/publication/FilhoLSE09},
cites = {0},
citedby = {0},
pages = {37-40},
booktitle = {POLICY 2009, IEEE International Symposium on Policies for Distributed Systems and Networks, London, UK, 20-22 July 2009},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3742-9},
}