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]
Abstract is missing.