Skip to content

Verification of Web Service Flows with Model-Checking Techniques.

Shin Nakajima

VenueCCW
Year2002
ProceedingsCW

Browse the full CW paper archive.