@MASTERSTHESIS{Voigt2010diplom,
  author  = {Daniel Voigt},
  title   = {Run-Time-Monitoring von Web-Service-Choreographien anhand des Ereigniskalküls},
  school  = {Universität Hamburg, Fachbereich Informatik},
  year    = {2010},
  type    = {Diplomarbeit},
  address = {Vogt-Kölln-Str. 30, 22527 Hamburg, Germany},
  month   = {2}
}