Specification and verification of web services transactions
Keyword(s):
Keyword(s):
2004 ◽
Vol 124
(1)
◽
pp. 176-181