Jana Koehler, Giuliano Tirenni, Santhosh Kumaran. From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. In 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 17-20 September 2002, Lausanne, Switzerland, Proceedings. pages 96, IEEE Computer Society, 2002. [doi]
Abstract is missing.