共 17 条
[4]
Duan Suolin, 2016, COMPUTER MEASUREMENT, V24, P283
[5]
Formal verification of concurrent programs with read-write locks
[J].
FRONTIERS OF COMPUTER SCIENCE IN CHINA,
2010, 4 (01)
:65-77
[6]
Gao M. X., 2017, COMPUT SIMUL, V34, P277
[8]
Jin Hailong, 2013, Sheng Wu Yi Xue Gong Cheng Xue Za Zhi, V30, P249
[10]
Liu Chong, 2012, Journal of System Simulation, V24, P2496