About this scholarly article

2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing - Optimized symbolic model checking for component-based systems by Zhang, Lianyi; Meng, Qingdi; Luo, Guiming is a scholarly article available to read on EtoBox.

Author

Zhang, Lianyi; Meng, Qingdi; Luo, Guiming

Publisher

IEEE

Published

2014