%0 Journal Article %1 journals/smr/LiuWYWY16 %A Liu, Xiao %A Wang, Dingxian %A Yuan, Dong %A Wang, Futian %A Yang, Yun %D 2016 %J Journal of Software: Evolution and Process %K dblp %N 4 %P 286-302 %T Workflow temporal verification for monitoring parallel business processes. %U http://dblp.uni-trier.de/db/journals/smr/smr28.html#LiuWYWY16 %V 28

@article{journals/smr/LiuWYWY16, added-at = {2019-10-19T00:00:00.000+0200}, author = {Liu, Xiao and Wang, Dingxian and Yuan, Dong and Wang, Futian and Yang, Yun}, biburl = {https://www.bibsonomy.org/bibtex/2ca434648e84a698277eeb0274142bb55/dblp}, ee = {https://doi.org/10.1002/smr.1761}, interhash = {873b3a5f75e1b4eb1f82f79061b33303}, intrahash = {ca434648e84a698277eeb0274142bb55}, journal = {Journal of Software: Evolution and Process}, keywords = {dblp}, number = 4, pages = {286-302}, timestamp = {2019-10-22T12:16:07.000+0200}, title = {Workflow temporal verification for monitoring parallel business processes.}, url = {http://dblp.uni-trier.de/db/journals/smr/smr28.html#LiuWYWY16}, volume = 28, year = 2016 }