Skip to content
cs-conference-ranking.org

Model Checking for BPEL4WS with Time.

Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen

VenueCAPWEB
Year2007
ProceedingsAPWeb/WAIM Workshops
DBLP recordconf/apweb/GaoLLC07 ↗

Browse the full APWEB paper archive.