I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Keeping a Crowd Safe: On the Complexity of Parameterized Verification

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}
}

PDF (259 kB)