Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda. Formal Verification of Communicating HSTM Designs. In 12th IEEE International Conference on Computer and Information Technology, CIT 2012, Chengdu, Sichuan, China, October 27-29, 2012. pages 383-390, IEEE Computer Society, 2012. [doi]
@inproceedings{LiuKZQF12,
title = {Formal Verification of Communicating HSTM Designs},
author = {Leyuan Liu and Weiqiang Kong and Shijie Zhou and Zhiguang Qin and Akira Fukuda},
year = {2012},
doi = {10.1109/CIT.2012.91},
url = {http://doi.ieeecomputersociety.org/10.1109/CIT.2012.91},
researchr = {https://researchr.org/publication/LiuKZQF12},
cites = {0},
citedby = {0},
pages = {383-390},
booktitle = {12th IEEE International Conference on Computer and Information Technology, CIT 2012, Chengdu, Sichuan, China, October 27-29, 2012},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-4873-7},
}