Zhiming Chang, XinJun Mao, Zhichang Qi. An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 57-66, IEEE Computer Society, 2007. [doi]
@inproceedings{ChangMQ07, title = {An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style}, author = {Zhiming Chang and XinJun Mao and Zhichang Qi}, year = {2007}, doi = {10.1109/TASE.2007.9}, url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.9}, tags = {architecture, systematic-approach}, researchr = {https://researchr.org/publication/ChangMQ07}, cites = {0}, citedby = {0}, pages = {57-66}, booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China}, publisher = {IEEE Computer Society}, }