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]
Abstract is missing.