Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun 0001, Jin Song Dong. Using Monterey Phoenix to Formalize and Verify System Architectures. In Karl R. P. H. Leung, Pornsiri Muenchaisri, editors, 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012. pages 644-653, IEEE, 2012. [doi]
@inproceedings{ZhangLA0D12,
title = {Using Monterey Phoenix to Formalize and Verify System Architectures},
author = {Jiexin Zhang and Yang Liu and Mikhail Auguston and Jun Sun 0001 and Jin Song Dong},
year = {2012},
doi = {10.1109/APSEC.2012.60},
url = {http://dx.doi.org/10.1109/APSEC.2012.60},
researchr = {https://researchr.org/publication/ZhangLA0D12},
cites = {0},
citedby = {0},
pages = {644-653},
booktitle = {19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012},
editor = {Karl R. P. H. Leung and Pornsiri Muenchaisri},
publisher = {IEEE},
isbn = {978-0-7695-4922-4},
}