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]
Abstract is missing.