Frank Puhlmann. A Tool Chain for Lazy Soundness. In Jan Mendling, editor, Proceedings of the BPM Demo Session at the Fourth International Conference on Business Process Management, BPM 2006, Vienna, Austria, 5-7 Sept 2006. Volume 203 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
@inproceedings{Puhlmann06-0, title = {A Tool Chain for Lazy Soundness}, author = {Frank Puhlmann}, year = {2006}, url = {http://ceur-ws.org/Vol-203/paper2.pdf}, researchr = {https://researchr.org/publication/Puhlmann06-0}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the BPM Demo Session at the Fourth International Conference on Business Process Management, BPM 2006, Vienna, Austria, 5-7 Sept 2006}, editor = {Jan Mendling}, volume = {203}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }