To use this file, please add the following packages \usepackage{url} \usepackage[utf8x]{inputenc} @conference{2009_09_Constraints, author = {Maximilian Berger and Romedius Weiss and Thomas Fahringer}, title = {{Software execution constraints for correctness checking of workflows}}, booktitle = {{RISC-Linz Report Series No. 09-14}}, note = {\url{http://www.risc.uni-linz.ac.at/publications/download/risc_3893/techreport.pdf}}, pages = {x-(x+4)}, location = {Linz, Austria}, year = {2009}, }