%0 Journal Article %1 journals/corr/abs-1708-08323 %A Yin, Liangze %A Dong, Wei %A Liu, Wanwei %A Wang, Ji %D 2017 %J CoRR %K dblp %T Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. %U http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-08323 %V abs/1708.08323

@article{journals/corr/abs-1708-08323, added-at = {2019-05-28T00:00:00.000+0200}, author = {Yin, Liangze and Dong, Wei and Liu, Wanwei and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/2fe02d10db43d0e5829b64b4f93407721/dblp}, ee = {http://arxiv.org/abs/1708.08323}, interhash = {4b755b627ec8b84d5c0e825d4e6aa581}, intrahash = {fe02d10db43d0e5829b64b4f93407721}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-05-29T11:37:33.000+0200}, title = {Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-08323}, volume = {abs/1708.08323}, year = 2017 }