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]
@inproceedings{WanL14-3,
title = {Verification of Artifact Lifecycle Model},
author = {Xiaomei Wan and Guohua Liu},
year = {2014},
doi = {10.1109/CIS.2014.35},
url = {http://doi.ieeecomputersociety.org/10.1109/CIS.2014.35},
researchr = {https://researchr.org/publication/WanL14-3},
cites = {0},
citedby = {0},
pages = {534-538},
booktitle = {Tenth International Conference on Computational Intelligence and Security, CIS 2014, Kunming, Yunnan, China, November 15-16, 2014},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-7434-4},
}