Verification of Artifact Lifecycle Model

Xiaomei Wan, Guohua Liu. Verification of Artifact Lifecycle Model. In Tenth International Conference on Computational Intelligence and Security, CIS 2014, Kunming, Yunnan, China, November 15-16, 2014. pages 534-538, IEEE Computer Society, 2014. [doi]

Abstract

Abstract is missing.