I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Parameterized Verification of Asynchronous Shared-Memory Systems

Reference:

Javier Esparza, Pierre Ganty, and Rupak Majumdar. Parameterized verification of asynchronous shared-memory systems. In CAV, pages 124–140, 2013.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavEsparzaGM13,
    author = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
    booktitle = {CAV},
    pages = {124-140},
    title = {Parameterized Verification of Asynchronous Shared-Memory Systems},
    year = {2013}
}

Tech report version
This work is not available online here.