Journal article
Verifying Web Services Composition Based on Interface Automata Using SPIN
Authors
- JM; - HM; - YC; - HG
Journal
International Journal of Digital Content Technology and its Applications, Vol. 4, No. 8, pp. 23–33
Publisher
AICIT
Publication Date
November 30, 2010
DOI
10.4156/jdcta.vol4.issue8.3
ISSN
1975-9339