• Model Checking for Asynchronou...

Treffer: Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL

Title:
Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL
Web information systems and mining; PART 2
Authors:
Zhang, G., Shi, H., Rong, M., Di, H.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (6988):428-435
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN080279691&indx=1&recIds=ETOCCN080279691
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings