%0 Conference Paper %1 conf/tacas/FavreVM16 %A Favre, Cédric %A Völzer, Hagen %A Müller, Peter %B TACAS %D 2016 %E Chechik, Marsha %E Raskin, Jean-François %I Springer %K dblp %P 463-479 %T Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#FavreVM16 %V 9636 %@ 978-3-662-49673-2

@inproceedings{conf/tacas/FavreVM16, added-at = {2017-05-24T00:00:00.000+0200}, author = {Favre, Cédric and Völzer, Hagen and Müller, Peter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2350f41a9dd3d4d238b6c4d3a1a824666/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2016}, editor = {Chechik, Marsha and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-662-49674-9_27}, interhash = {ca98d9b62108e0941e0f51a6416cd8f2}, intrahash = {350f41a9dd3d4d238b6c4d3a1a824666}, isbn = {978-3-662-49673-2}, keywords = {dblp}, pages = {463-479}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:45.000+0200}, title = {Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#FavreVM16}, volume = 9636, year = 2016 }