@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}
}

{"_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"]}