@inproceedings{FFJ+09,
title = {Instantaneous Soundness Checking of Industrial Business Process Models },
author = {Fahland, Dirk and Favre, C{\'e}dric and Jobstmann, Barbara and Koehler, Jana and Lohmann, Niels and Volzer, Hagen and Wolf, Karsten},
year = {2009},
booktitle = {Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings},
pages = {278-293},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5701},
team = {DCS},
}