Reference:

Pierre Ganty Antoine Durand-Gasselin, Javier Esparza and Rupak Majumdar. Model checking parameterized asynchronous shared-memory systems.. In CAV, pages 192–208, 2015.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavDEGM15,
    author = {Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty and Rupak Majumdar},
    booktitle = {CAV},
    pages = {192-208},
    title = {Model Checking Parameterized Asynchronous Shared-Memory Systems.},
    year = {2015}
}