%0 Conference Paper %1 dirk-verification-BPM2009 %A Fahland, D. %A Favre, C. %A Jobstmann, B. %A Koehler, J. %A Lohmann, N. %A Völzer, H. %A Wolf, K. %B Business Process Management (BPM 2009) %D 2009 %E Dayal, U. %E Eder, J. %E Koehler, J. %E Reijers, H. %I Springer-Verlag, Berlin %K BPM collection imported %P 278--293 %T Instantaneous Soundness Checking of Industrial Business Process Models %V 5701

@inproceedings{dirk-verification-BPM2009, added-at = {2012-11-22T19:17:38.000+0100}, author = {Fahland, D. and Favre, C. and Jobstmann, B. and Koehler, J. and Lohmann, N. and V{\"o}lzer, H. and Wolf, K.}, biburl = {https://www.bibsonomy.org/bibtex/24864f57f7f31d1c9b7eff4ee76c19c71/wvdaalst}, booktitle = {Business Process Management (BPM 2009)}, editor = {Dayal, U. and Eder, J. and Koehler, J. and Reijers, H.}, interhash = {89d828d1994cff8f6bdd73e6d9f6ee60}, intrahash = {4864f57f7f31d1c9b7eff4ee76c19c71}, keywords = {BPM collection imported}, pages = {278--293}, publisher = {Springer-Verlag, Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2012-11-22T19:22:05.000+0100}, title = {{Instantaneous Soundness Checking of Industrial Business Process Models}}, volume = 5701, year = 2009 }