Knowledge-Based Verification of Service Compositions – An SMT Approach

by Sven Walther, Heike Wehrheim
Venue:in Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on, July 2013. doi: 10.1109/ICECCS.2013.14