Knowledge-Based Verification of Service Compositions - An SMT Approach.

Sven Walther, Heike Wehrheim

Browse the full ICECCS paper archive.