%0 Journal Article %1 basu-ver-2000 %A Basu, A. %A Blanning, R.W. %D 2000 %J Information Systems Research %K BPM collection imported %N 1 %P 17--36 %T A Formal Approach to Workflow Analysis %V 11

@article{basu-ver-2000, added-at = {2012-11-22T19:17:38.000+0100}, author = {Basu, A. and Blanning, R.W.}, biburl = {https://www.bibsonomy.org/bibtex/2956ce635076b688fecb5dfcc9bca12f1/wvdaalst}, interhash = {069813f7211e9c572f67be9c440d98f6}, intrahash = {956ce635076b688fecb5dfcc9bca12f1}, journal = {Information Systems Research}, keywords = {BPM collection imported}, number = 1, pages = {17--36}, timestamp = {2012-11-22T19:21:28.000+0100}, title = {{A Formal Approach to Workflow Analysis}}, volume = 11, year = 2000 }