%0 Conference Paper %1 conf/zeus/HeinzeAM13 %A Heinze, Thomas S. %A Amme, Wolfram %A Moser, Simon %B ZEUS %D 2013 %E Kopp, Oliver %E Lohmann, Niels %I CEUR-WS.org %K %P 1-8 %T Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving. %U http://dblp.uni-trier.de/db/conf/zeus/zeus2013.html#HeinzeAM13 %V 1029

@inproceedings{conf/zeus/HeinzeAM13, added-at = {2023-12-12T17:57:48.000+0100}, author = {Heinze, Thomas S. and Amme, Wolfram and Moser, Simon}, biburl = {https://www.bibsonomy.org/bibtex/26e5deebe89154fd065855bea767c5b85/admin}, booktitle = {ZEUS}, crossref = {conf/zeus/2013}, editor = {Kopp, Oliver and Lohmann, Niels}, ee = {http://ceur-ws.org/Vol-1029/paper1.pdf}, interhash = {0b6108ca3d850852b0d38d3f5cd00b75}, intrahash = {6e5deebe89154fd065855bea767c5b85}, keywords = {}, pages = {1-8}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-12T17:57:48.000+0100}, title = {Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving.}, url = {http://dblp.uni-trier.de/db/conf/zeus/zeus2013.html#HeinzeAM13}, volume = 1029, year = 2013 }