![](/img/cover-not-exists.png)
[IEEE 2007 Australian Software Engineering Conference (ASWEC'07) - Melbourne, Australia (2007.04.10-2007.04.13)] 2007 Australian Software Engineering Conference (ASWEC'07) - Tool Support for BPEL Verification in ActiveBPEL Engine
Qian, Yi, Xu, Yuming, Wang, Zheng, Pu, Geguang, Zhu, Huibiao, Cai, ChaoYear:
2007
Language:
english
DOI:
10.1109/aswec.2007.50
File:
PDF, 504 KB
english, 2007