Reference:

Corneliu Popeea, Andrey Rybalchenko, and Andreas Wilhelm. Reduction for compositional verification of multi-threaded programs. In Formal Methods in Computer-Aided Design, FMCAD 2014, 2014.

Suggested BibTeX entry:

@inproceedings{PopeeaFMCAD14,
    author = {Corneliu Popeea and Andrey Rybalchenko and Andreas Wilhelm},
    booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014},
    title = {Reduction for compositional verification of multi-threaded programs},
    year = {2014}
}