Reference:

Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko. Thread-modular counterexample-guided abstraction refinement. In Cousot and Martel, pages 356–372.

Suggested BibTeX entry:

@inproceedings{DBLP:confsasMalkisPR10,
    author = {Alexander Malkis and Andreas Podelski and Andrey Rybalchenko},
    booktitle = {SAS},
    editor = {Radhia Cousot and Matthieu Martel},
    pages = {356-372},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Thread-Modular Counterexample-Guided Abstraction Refinement},
    volume = {6337},
    year = {2010}
}