Rik Eshuis, Roel Wieringa
Verification support for workflow design with UML activity graphs
ICSE, 2002.
@inproceedings{ICSE-2002-EshuisW, author = "Rik Eshuis and Roel Wieringa", booktitle = "{Proceedings of the 22rd International Conference on Software Engineering}", doi = "10.1145/581339.581362", editor = "Will Tracz and Michal Young and Jeff Magee", pages = "166--176", publisher = "{ACM}", title = "{Verification support for workflow design with UML activity graphs}", year = 2002, }