Nan Qu. On model construction for modal mu-calculus. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 257-260, IEEE, 2012. [doi]
@inproceedings{Qu12,
title = {On model construction for modal mu-calculus},
author = {Nan Qu},
year = {2012},
doi = {10.1109/TASE.2012.49},
url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.49},
researchr = {https://researchr.org/publication/Qu12},
cites = {0},
citedby = {0},
pages = {257-260},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China},
editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang},
publisher = {IEEE},
isbn = {978-0-7695-4751-0},
}