%0 Journal Article %1 journals/jsjkx/ZhaoPZM018 %A Zhao, Ying %A Pan, Hua %A Zhang, Yunmeng %A Mo, Qi %A Dai, Fei %D 2018 %J 计算机科学 %K dblp %N 11A %P 597-602 %T 协同业务过程建模与行为验证 (Modeling and Behavior Verification for Collaborative Business Processes). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx45.html#ZhaoPZM018 %V 45

@article{journals/jsjkx/ZhaoPZM018, added-at = {2020-03-13T00:00:00.000+0100}, author = {Zhao, Ying and Pan, Hua and Zhang, Yunmeng and Mo, Qi and Dai, Fei}, biburl = {https://www.bibsonomy.org/bibtex/2f7f9d7a78cce32c192c64263b6b0646b/dblp}, ee = {http://www.jsjkx.com/EN/Y2018/V45/I11A/597}, interhash = {d5ceae010c20142c2a9d9ed39cfa3de1}, intrahash = {f7f9d7a78cce32c192c64263b6b0646b}, journal = {计算机科学}, keywords = {dblp}, number = {11A}, pages = {597-602}, timestamp = {2020-03-14T12:09:06.000+0100}, title = {协同业务过程建模与行为验证 (Modeling and Behavior Verification for Collaborative Business Processes).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx45.html#ZhaoPZM018}, volume = 45, year = 2018 }