@MASTERSTHESIS{Meier2005diplom,
  author  = {Jan Meier},
  title   = {Untersuchung von Logiken über Normen zur Protokollspezifikation},
  school  = {Universität Hamburg, Fachbereich Informatik},
  year    = {2005},
  type    = {Diplomarbeit},
  address = {Vogt-Kölln-Str. 30, 22527 Hamburg, Germany},
  month   = {4}
}