Towards a formal verification approach for business process coordination. Yuan, M., Huang, Z., Li, X., & Yan, Y. In 2010 IEEE International Conference on Web Services, pages 361–368, 2010. IEEE.
doi  bibtex   
@inproceedings{yuan_towards_2010,
	title = {Towards a formal verification approach for business process coordination},
	doi = {10/b7cr87},
	booktitle = {2010 {IEEE} {International} {Conference} on {Web} {Services}},
	publisher = {IEEE},
	author = {Yuan, Min and Huang, Zhiqiu and Li, Xiang and Yan, Yan},
	year = {2010},
	pages = {361--368},
}

Downloads: 0