@mastersthesis{Geb2009,Author = {Gebhardt, Sebastian},Title = {Durchführung von Kompositionellen Sicherheitsnachweisen für UML Modelle},Year = {2009},Month = {01},type = {mastersthesis}}@COMMENT{Bibtex file generated on }