Lianyi Zhang, Qingdi Meng, GuiMing Luo. Optimized symbolic model checking for component-based systems. In IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2014, London, UK, August 18-20, 2014. pages 373-378, IEEE, 2014. [doi]
@inproceedings{ZhangML14-3,
title = {Optimized symbolic model checking for component-based systems},
author = {Lianyi Zhang and Qingdi Meng and GuiMing Luo},
year = {2014},
doi = {10.1109/ICCI-CC.2014.6921486},
url = {http://dx.doi.org/10.1109/ICCI-CC.2014.6921486},
researchr = {https://researchr.org/publication/ZhangML14-3},
cites = {0},
citedby = {0},
pages = {373-378},
booktitle = {IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2014, London, UK, August 18-20, 2014},
publisher = {IEEE},
}