%0
Generic
%T
Privacy-aware dynamic coalitions : a formal framework
%A Sarrouh, Nadim
%A Nestmann, Uwe
%A Mahr, Bernd
%A Schieferdecker, Ina
%I Technische Universität Berlin
%K formal methods
%K dynamic coalitions
%K abstract state machines
%K privacy
%K access control
%K formale Methoden
%K dynamische Koalitionen
%K abstrakte Zustandsmaschinen
%K Datenschutz
%K Zugriffskontrolle
%K Hochschulschrift
%D 2014
%C Technische Universität Berlin
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2