@article{TUW-176608, author = {Zapletal, Marco and van der Aalst, Wil and Russell, Nick and Liegl, Philipp and Werthner, Hannes}, title = {Pattern-based Analysis of Windows Workflow}, journal = {Technische Universiteit Eindhoven Computer Science Report}, year = {2009}, volume = {09/07}, number = {09/07}, pages = {1--14}, url = {http://publik.tuwien.ac.at/files/PubDat_176608.pdf}, keywords = {Windows Workflow Foundation, Workflow Patterns} }