Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/policy/FilhoLSE09
%A Filho, Alberto E. Schaeffer
%A Lupu, Emil C.
%A Sloman, Morris
%A Eisenbach, Susan
%B POLICY
%D 2009
%I IEEE Computer Society
%K dblp
%P 37-40
%T Verification of Policy-Based Self-Managed Cell Interactions Using Alloy.
%U http://dblp.uni-trier.de/db/conf/policy/policy2009.html#FilhoLSE09
%@ 978-0-7695-3742-9
@inproceedings{conf/policy/FilhoLSE09,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Filho, Alberto E. Schaeffer and Lupu, Emil C. and Sloman, Morris and Eisenbach, Susan},
biburl = {https://www.bibsonomy.org/bibtex/2e8c3298ac184baab9cf221cfad77489f/dblp},
booktitle = {POLICY},
crossref = {conf/policy/2009},
ee = {https://doi.ieeecomputersociety.org/10.1109/POLICY.2009.24},
interhash = {87aed2e9365ed4854a570c8663cd2ac9},
intrahash = {e8c3298ac184baab9cf221cfad77489f},
isbn = {978-0-7695-3742-9},
keywords = {dblp},
pages = {37-40},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T04:55:33.000+0200},
title = {Verification of Policy-Based Self-Managed Cell Interactions Using Alloy.},
url = {http://dblp.uni-trier.de/db/conf/policy/policy2009.html#FilhoLSE09},
year = 2009
}