---
_id: '707'
author:
- first_name: Sven
  full_name: Walther, Sven
  last_name: Walther
citation:
  ama: Walther S. <i>Knowledge-Based Verification of Service Compositions</i>. Universität
    Paderborn; 2017. doi:<a href="https://doi.org/10.17619/UNIPB/1-307">10.17619/UNIPB/1-307</a>
  apa: Walther, S. (2017). <i>Knowledge-based Verification of Service Compositions</i>.
    Universität Paderborn. <a href="https://doi.org/10.17619/UNIPB/1-307">https://doi.org/10.17619/UNIPB/1-307</a>
  bibtex: '@book{Walther_2017, title={Knowledge-based Verification of Service Compositions},
    DOI={<a href="https://doi.org/10.17619/UNIPB/1-307">10.17619/UNIPB/1-307</a>},
    publisher={Universität Paderborn}, author={Walther, Sven}, year={2017} }'
  chicago: Walther, Sven. <i>Knowledge-Based Verification of Service Compositions</i>.
    Universität Paderborn, 2017. <a href="https://doi.org/10.17619/UNIPB/1-307">https://doi.org/10.17619/UNIPB/1-307</a>.
  ieee: S. Walther, <i>Knowledge-based Verification of Service Compositions</i>. Universität
    Paderborn, 2017.
  mla: Walther, Sven. <i>Knowledge-Based Verification of Service Compositions</i>.
    Universität Paderborn, 2017, doi:<a href="https://doi.org/10.17619/UNIPB/1-307">10.17619/UNIPB/1-307</a>.
  short: S. Walther, Knowledge-Based Verification of Service Compositions, Universität
    Paderborn, 2017.
date_created: 2017-11-20T07:59:31Z
date_updated: 2022-01-06T07:03:27Z
department:
- _id: '77'
doi: 10.17619/UNIPB/1-307
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subproject B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
title: Knowledge-based Verification of Service Compositions
type: dissertation
user_id: '477'
year: '2017'
...