Skip to content

Static Verification of Control and Data inWeb Service Compositions.

Raman Kazhamiakin, Marco Pistore

VenueAICWS
Year2006
ProceedingsICWS

Browse the full ICWS paper archive.