Journal of Management Information Systems
Keyword: formal methods
Keyword Index
List of articles:
Reijers, Hajo A,
Limam, Selma,
and
Van Der Aalst, Wil M P
Product-Based Workflow Design
Journal of Management Information Systems
Vol. 20 No. 1 2003
pp. 229-262