@InProceedings{FavreVoelzerMueller16,
  author       = {C. Favre and H. V{\"o}lzer and P. M{\"u}ller},
  title        = {Diagnostic Information for Control-Flow Analysis of Workflow Graphs (aka Free-ChoiceWorkflow Nets)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  editor       = {M. Chechik and J.-F. Raskin},
  year         = {2016},
  pages        = {463--479},
  volume       = {9636},
  series       = {LNCS},
  publisher    = {Springer-Verlag},
  url          = {https://doi.org/10.1007/978-3-662-49674-9_27},
  urltext      = {[Publisher]}
}