Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
Knowledge-based verification of service compositions
II Contributions
5 Automating Correctness Proofs using First-order Logic
5.2 First-order Logic Encodings
5.2.3 Control Flow
Loading...
Dissertation (PhD)
Knowledge-based verification of service compositions / vorgelegt von Sven Walther
Place and Date of Creation
Paderborn
2018
JPEG-Download
avaibable widths
JPEG large
JPEG original
show thumbnails
hide thumbs