DMCA

Knowledge-Based Verification of Service Compositions – An SMT Approach

Cached

Download Links

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
Citations:2 - 2 self