%0 Journal Article %1 journals/fgcs/KangYZ19 %A Kang, Guosheng %A Yang, Liqin %A Zhang, Liang %D 2019 %J Future Gener. Comput. Syst. %K dblp %P 503-511 %T Verification of behavioral soundness for artifact-centric business process model with synchronizations. %U http://dblp.uni-trier.de/db/journals/fgcs/fgcs98.html#KangYZ19 %V 98

@article{journals/fgcs/KangYZ19, added-at = {2020-02-19T00:00:00.000+0100}, author = {Kang, Guosheng and Yang, Liqin and Zhang, Liang}, biburl = {https://www.bibsonomy.org/bibtex/2e36cc64249d49760288927882427420b/dblp}, ee = {https://doi.org/10.1016/j.future.2019.03.012}, interhash = {f32a8f9101440096227722b35216a036}, intrahash = {e36cc64249d49760288927882427420b}, journal = {Future Gener. Comput. Syst.}, keywords = {dblp}, pages = {503-511}, timestamp = {2020-02-20T12:09:29.000+0100}, title = {Verification of behavioral soundness for artifact-centric business process model with synchronizations.}, url = {http://dblp.uni-trier.de/db/journals/fgcs/fgcs98.html#KangYZ19}, volume = 98, year = 2019 }