@phdthesis{707,
  author       = {{Walther, Sven}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Knowledge-based Verification of Service Compositions}}},
  doi          = {{10.17619/UNIPB/1-307}},
  year         = {{2017}},
}