{"_id":"2EtxS7yCcy5zGtzaT","bibbaseid":"yuan-huang-li-yan-towardsaformalverificationapproachforbusinessprocesscoordination-2010","author_short":["Yuan, M.","Huang, Z.","Li, X.","Yan, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards a formal verification approach for business process coordination","doi":"10/b7cr87","booktitle":"2010 IEEE International Conference on Web Services","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Yuan"],"firstnames":["Min"],"suffixes":[]},{"propositions":[],"lastnames":["Huang"],"firstnames":["Zhiqiu"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Xiang"],"suffixes":[]},{"propositions":[],"lastnames":["Yan"],"firstnames":["Yan"],"suffixes":[]}],"year":"2010","pages":"361–368","bibtex":"@inproceedings{yuan_towards_2010,\n\ttitle = {Towards a formal verification approach for business process coordination},\n\tdoi = {10/b7cr87},\n\tbooktitle = {2010 {IEEE} {International} {Conference} on {Web} {Services}},\n\tpublisher = {IEEE},\n\tauthor = {Yuan, Min and Huang, Zhiqiu and Li, Xiang and Yan, Yan},\n\tyear = {2010},\n\tpages = {361--368},\n}\n\n","author_short":["Yuan, M.","Huang, Z.","Li, X.","Yan, Y."],"key":"yuan_towards_2010","id":"yuan_towards_2010","bibbaseid":"yuan-huang-li-yan-towardsaformalverificationapproachforbusinessprocesscoordination-2010","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["towards","formal","verification","approach","business","process","coordination","yuan","huang","li","yan"],"title":"Towards a formal verification approach for business process coordination","year":2010}