An Epistemic Model Checking Approach to Web Service Compositions
International Journal of Wireless and Microwave Technologies
doi 10.5815/ijwmt.2012.06.10
Full Text
Open PDFAbstract
Available in full text
Date
December 8, 2012
Authors
Publisher
MECS Publisher