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