Reference:

Javier Esparza, Pierre Ganty, and Rupak Majumdar. Parameterized verification of asynchronous shared-memory systems. Technical report, arXiv.org, 2013.

Suggested BibTeX entry:

@techreport{DBLP:confcavEsparzaGM13-techreport,
    author = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
    institution = {arXiv.org},
    journal = {arXiv preprint arXiv:1304.1185},
    title = {Parameterized Verification of Asynchronous Shared-Memory Systems},
    year = {2013}
}