Budan Wu, Rongheng Lin, Pengjie Wang, Junliang Chen. Dynamic Business Process Generation and Verification. In Jia Zhang, John A. Miller, Xiaofei Xu, editors, IEEE International Conference on Services Computing, SCC 2016, San Francisco, CA, USA, June 27 - July 2, 2016. pages 836-839, IEEE, 2016. [doi]
Abstract is missing.