Fast Soundness Verification of Workflow Graphs

Thomas Prinz. Fast Soundness Verification of Workflow Graphs. In Oliver Kopp, Niels Lohmann, editors, th Central-European Workshop on Services and their Composition, Rostock, Germany, February 21-22, 2013. Volume 1029 of CEUR Workshop Proceedings, pages 32-40, CEUR-WS.org, 2013. [doi]

@inproceedings{Prinz13,
  title = {Fast Soundness Verification of Workflow Graphs},
  author = {Thomas Prinz},
  year = {2013},
  url = {http://ceur-ws.org/Vol-1029/paper7.pdf},
  researchr = {https://researchr.org/publication/Prinz13},
  cites = {0},
  citedby = {0},
  pages = {32-40},
  booktitle = {th Central-European Workshop on Services and their Composition, Rostock, Germany, February 21-22, 2013},
  editor = {Oliver Kopp and Niels Lohmann},
  volume = {1029},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}