Reference:

Javier Esparza. Keeping a crowd safe: On the complexity of parameterized verification. In STACS, pages 1–10, 2014. The paper published in the proceedings of STACS contained a mistake. This is the corrected version, which can also be found in arXiv.

Suggested BibTeX entry:

@inproceedings{DBLP:confstacsEsparza14,
    author = {Javier Esparza},
    booktitle = {STACS},
    note = {The paper published in the proceedings of STACS contained a mistake. This is the corrected version, which can also be found in arXiv.},
    pages = {1-10},
    title = {Keeping a Crowd Safe: On the Complexity of Parameterized Verification},
    year = {2014}
}