@PhdThesis{PWieczorek2010,
  author       = {Sebastian Wieczorek},
  title        = {Modeling and Model-based Testing of Service Choreographies},
  year         = {2010},
  type = {PhDSupervision},
  file         = {PhDSupervised/Wieczorek2010 - Modeling and Model Based Testing of Service Choreographies.pdf:PDF},
  location  = {Fakult{\"a}t IV - Elektrotechnik und Informatik, Technische Universit{\"a}t Berlin}
}