@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 }