From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods.

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

Browse the full EDOC paper archive.