%0 Book %1 sadiq96modeling %A Sadiq, W. %A Orlowska, M.E. %C Department of Computer Science, The University of Queensland, Australia %D 1996 %K BPM collection imported %T Modeling and Verification of Workflow Graphs %U /brokenurl#citeseer.ist.psu.edu/sadiq96modeling.html

@booklet{sadiq96modeling, added-at = {2012-11-22T19:17:38.000+0100}, address = {Department of Computer Science, The University of Queensland, Australia}, author = {Sadiq, W. and Orlowska, M.E.}, biburl = {https://www.bibsonomy.org/bibtex/2fabc82a843a53600405d6af521749a2f/wvdaalst}, howpublished = {Technical Report No. 386}, interhash = {af35b9e9ffa813b8c559bd4467755230}, intrahash = {fabc82a843a53600405d6af521749a2f}, keywords = {BPM collection imported}, timestamp = {2012-11-22T19:22:08.000+0100}, title = {Modeling and Verification of Workflow Graphs}, url = {/brokenurl#citeseer.ist.psu.edu/sadiq96modeling.html}, year = 1996 }