Modeling and Verifying Multi-core Programs

Combinatorial Optimization and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-71147-8_36 ◽

2017 ◽

pp. 492-500

Author(s):

Nan Zhang ◽

Zhenhua Duan ◽

Cong Tian ◽

Hongwei Du ◽

Kai Yang

Download Full-text