Yizhou Zhang, Hao Lin, Guoqiang Li 0001. Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems. In Antony Tang, Henry Muccini, editors, 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012. pages 120-123, IEEE, 2012. [doi]
@inproceedings{ZhangLL12-17, title = {Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems}, author = {Yizhou Zhang and Hao Lin and Guoqiang Li 0001}, year = {2012}, doi = {10.1109/QSIC.2012.27}, url = {http://dx.doi.org/10.1109/QSIC.2012.27}, researchr = {https://researchr.org/publication/ZhangLL12-17}, cites = {0}, citedby = {0}, pages = {120-123}, booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012}, editor = {Antony Tang and Henry Muccini}, publisher = {IEEE}, isbn = {978-1-4673-2857-9}, }