Skip to content

Correctness Verification for Service-Based Business Processes.

Pengbo Xiu, Weiliang Zhao, Jian Yang

VenueAICWS
Year2017
ProceedingsICWS

Browse the full ICWS paper archive.