Skip to content

Requirements-driven Verification of WSBPEL Processes.

Mohsen Rouached, Claude Godart

VenueAICWS
Year2007
ProceedingsICWS

Browse the full ICWS paper archive.