Jana Koehler, Giuliano Tirenni, Santhosh Kumaran
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
EDOC, 2002.
@inproceedings{EDOC-2002-KoehlerTK, author = "Jana Koehler and Giuliano Tirenni and Santhosh Kumaran", booktitle = "{Proceedings of the Sixth International Enterprise Distributed Object Computing Conference}", doi = "10.1109/EDOC.2002.1137700", isbn = "0-7695-1742-0", pages = "96--None", publisher = "{IEEE Computer Society}", title = "{From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods}", year = 2002, }