Model checking for design and assurance of e-Business processes

Authors: Anderson, Bonnie Brinton; Hansen, James V.; Lowry, Paul Benjamin; Summers, Scott L.

Journal: Decision Support Systems (2005)

DOI: 10.1016/j.dss.2003.12.001

View in Otero