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]
Abstract is missing.