Reference:

Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, and Rupak Majumdar. Model checking parameterized asynchronous shared-memory systems. Technical report, CoRR, 2015.

Suggested BibTeX entry:

@techreport{DBLP:journalscorrDurand-Gasselin15,
    author = {Antoine Durand{-}Gasselin and Javier Esparza and Pierre Ganty and Rupak Majumdar},
    institution = {CoRR},
    title = {Model Checking Parameterized Asynchronous Shared-Memory Systems},
    volume = {abs/1505.06588},
    year = {2015}
}