thesis Sven Walther author Heike Wehrheim supervisor 77 department SFB 901 project SFB 901 - Subproject B3 project SFB 901 - Project Area B project Universität Paderborn2017 eng 10.17619/UNIPB/1-307 @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} } 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> 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>. S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017. 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>. S. Walther, <i>Knowledge-based Verification of Service Compositions</i>. Universität Paderborn, 2017. 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> 7072017-11-20T07:59:31Z2022-01-06T07:03:27Z