@phdthesis{LamottePhd15,
TITLE = {Automatic Authorization Analysis},
AUTHOR = {Lamotte-Schubert, Manuel},
LANGUAGE = {eng},
URL = {urn:nbn:de:bsz:291-scidok-62575},
DOI = {10.22028/D291-26619},
SCHOOL = {Universit{\"a}t des Saarlandes},
ADDRESS = {Saarbr{\"u}cken},
YEAR = {2015},
DATE = {2015},
}