Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer. Formal Specification and Analysis of Trusted Communities. In Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010, Budapest, Hungary, 27-28 September 2010, Workshops Proceedings. pages 190-195, IEEE Computer Society, 2010. [doi]
@inproceedings{SteghoferNRBKHM10,
title = {Formal Specification and Analysis of Trusted Communities},
author = {Jan-Philipp Steghöfer and Florian Nafz and Wolfgang Reif and Yvonne Bernard and Lukas Klejnowski and Jörg Hähner and Christian Müller-Schloer},
year = {2010},
doi = {10.1109/SASOW.2010.39},
url = {http://dx.doi.org/10.1109/SASOW.2010.39},
tags = {analysis},
researchr = {https://researchr.org/publication/SteghoferNRBKHM10},
cites = {0},
citedby = {0},
pages = {190-195},
booktitle = {Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010, Budapest, Hungary, 27-28 September 2010, Workshops Proceedings},
publisher = {IEEE Computer Society},
}