A Bounded Model Checking Approach for the Verification of Web Services Composition
International Journal of Web Services Research - United States
doi 10.4018/ijwsr.2013100103
Full Text
Open PDFAbstract
Available in full text
Date
October 1, 2013
Authors
Publisher
IGI Global