TY  - RPRT
TI  - Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification
AU  - Liangze Yin
AU  - Wei Dong
AU  - Wanwei Liu
AU  - Ji Wang
PY  - 2018
UR  - https://arxiv.org/abs/1708.08323
ID  - 1708.08323
ER  -