Verification of Artifact Lifecycle Model. - Xiaomei Wan; Guohua Liu (CIS, 2014)

Complexity of Constructing FSM Model of Artifact Lifecycle. - Xiaomei Wan; Guohua Liu (SKG, 2014)