Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}