Nan Zhang 0001, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang. Modeling and Verifying Multi-core Programs. In Xiaofeng Gao, Hongwei Du, Meng Han, editors, Combinatorial Optimization and Applications - 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II. Volume 10628 of Lecture Notes in Computer Science, pages 492-500, Springer, 2017. [doi]
Abstract is missing.