A pattern-based approach for the verification of business process descriptions. Patig, S. & Stolz, M. Information & Software Technology, 55(1):58-87, 2013.
Paper
Link bibtex @article{ journals/infsof/PatigS13,
added-at = {2012-10-24T00:00:00.000+0200},
author = {Patig, Susanne and Stolz, Manuela},
biburl = {http://www.bibsonomy.org/bibtex/2a4248c7b9cd249fbc7b8b40c5bbb585c/dblp},
ee = {http://dx.doi.org/10.1016/j.infsof.2012.07.002},
interhash = {7fae57d8491bdff2480f3ee516e2d4d4},
intrahash = {a4248c7b9cd249fbc7b8b40c5bbb585c},
journal = {Information & Software Technology},
keywords = {dblp},
number = {1},
pages = {58-87},
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}
}
Downloads: 0
{"_id":{"_str":"536b2e037d1b7b356e002aa5"},"__v":0,"authorIDs":[],"author_short":["Patig, S.","Stolz, M."],"bibbaseid":"patig-stolz-apatternbasedapproachfortheverificationofbusinessprocessdescriptions-2013","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"patig-stolz-apatternbasedapproachfortheverificationofbusinessprocessdescriptions-2013","urls":{"Paper":"http://dblp.uni-trier.de/db/journals/infsof/infsof55.html#PatigS13","Link":"http://dx.doi.org/10.1016/j.infsof.2012.07.002"},"role":"author","year":"2013","volume":"55","url":"http://dblp.uni-trier.de/db/journals/infsof/infsof55.html#PatigS13","type":"article","title":"A pattern-based approach for the verification of business process descriptions.","pages":"58-87","number":"1","keywords":"dblp","key":"journals/infsof/PatigS13","journal":"Information & Software Technology","intrahash":"a4248c7b9cd249fbc7b8b40c5bbb585c","interhash":"7fae57d8491bdff2480f3ee516e2d4d4","id":"journals/infsof/PatigS13","ee":"http://dx.doi.org/10.1016/j.infsof.2012.07.002","biburl":"http://www.bibsonomy.org/bibtex/2a4248c7b9cd249fbc7b8b40c5bbb585c/dblp","bibtype":"article","bibtex":"@article{ journals/infsof/PatigS13,\n added-at = {2012-10-24T00:00:00.000+0200},\n author = {Patig, Susanne and Stolz, Manuela},\n biburl = {http://www.bibsonomy.org/bibtex/2a4248c7b9cd249fbc7b8b40c5bbb585c/dblp},\n ee = {http://dx.doi.org/10.1016/j.infsof.2012.07.002},\n interhash = {7fae57d8491bdff2480f3ee516e2d4d4},\n intrahash = {a4248c7b9cd249fbc7b8b40c5bbb585c},\n journal = {Information & Software Technology},\n keywords = {dblp},\n number = {1},\n pages = {58-87},\n title = {A pattern-based approach for the verification of business process descriptions.},\n url = {http://dblp.uni-trier.de/db/journals/infsof/infsof55.html#PatigS13},\n volume = {55},\n year = {2013}\n}","author_short":["Patig, S.","Stolz, M."],"author":["Patig, Susanne","Stolz, Manuela"],"added-at":"2012-10-24T00:00:00.000+0200"},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Stolz?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["pattern","based","approach","verification","business","process","descriptions","patig","stolz"],"title":"A pattern-based approach for the verification of business process descriptions.","year":2013,"dataSources":["jFM9uLHTgFXYfbvH4"]}