%0 Journal Article %1 journals/sosym/ZhaAWWS11 %A Zha, Haiping %A van der Aalst, Wil M. P. %A Wang, Jianmin %A Wen, Lijie %A Sun, Jiaguang %D 2011 %J Software and Systems Modeling %K dblp %N 2 %P 253-264 %T Verifying workflow processes: a transformation-based approach. %U http://dblp.uni-trier.de/db/journals/sosym/sosym10.html#ZhaAWWS11 %V 10

@article{journals/sosym/ZhaAWWS11, added-at = {2019-08-19T00:00:00.000+0200}, author = {Zha, Haiping and van der Aalst, Wil M. P. and Wang, Jianmin and Wen, Lijie and Sun, Jiaguang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26214666df062e62d90a35c1e4ec140b9/dblp}, ee = {https://www.wikidata.org/entity/Q57005267}, interhash = {67398b7aff153b1d1ca839395285c197}, intrahash = {6214666df062e62d90a35c1e4ec140b9}, journal = {Software and Systems Modeling}, keywords = {dblp}, number = 2, pages = {253-264}, timestamp = {2019-09-27T06:38:03.000+0200}, title = {Verifying workflow processes: a transformation-based approach.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym10.html#ZhaAWWS11}, volume = 10, year = 2011 }