Simulation, verification and automated composition of web services
2010 ◽
Vol 174
(3-4)
◽
pp. 316-361
◽
2010 ◽
Vol 23
(5)
◽
pp. 440-454
◽
Keyword(s):
2010 ◽
Vol 180
(19)
◽
pp. 3589-3613
◽
Keyword(s):
2007 ◽
Vol 14D
(2)
◽
pp. 265-272
◽