%0 Journal Article %1 journals/infsof/PatigS13 %A Patig, Susanne %A Stolz, Manuela %D 2013 %J Inf. Softw. Technol. %K dblp %N 1 %P 58-87 %T A pattern-based approach for the verification of business process descriptions. %U http://dblp.uni-trier.de/db/journals/infsof/infsof55.html#PatigS13 %V 55

@article{journals/infsof/PatigS13, added-at = {2020-02-20T00:00:00.000+0100}, author = {Patig, Susanne and Stolz, Manuela}, biburl = {https://www.bibsonomy.org/bibtex/272a9cd0e3e1a70b6df96393ad7176a08/dblp}, ee = {https://doi.org/10.1016/j.infsof.2012.07.002}, interhash = {7fae57d8491bdff2480f3ee516e2d4d4}, intrahash = {72a9cd0e3e1a70b6df96393ad7176a08}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 1, pages = {58-87}, timestamp = {2020-02-21T13:03:27.000+0100}, title = {A pattern-based approach for the verification of business process descriptions.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof55.html#PatigS13}, volume = 55, year = 2013 }