@inproceedings{BolligKuskeMennicke:2013,
    Author = {Bollig, B. and Kuske, D. and Mennicke, R.},
    BookTitle = {Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on},
    File = {The Complexity of Model Checking Multi-stack Systems - Bollig, Kuske, Mennicke (0) (0) - a - a - l.pdf},
    ISSN = {1043-6871},
    Keywords = {multi-pushdown automata},
    Month = {June},
    Pages = {163-172},
    Title = {The Complexity of Model Checking Multi-stack Systems},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2013.22},
    date-added = {2014-02-23 08:19:35 +0000},
    date-modified = {2014-02-23 08:24:33 +0000},
    file-2 = {The Complexity of Model Checking Multi-stack Systems - Bollig, Kuske, Mennicke (1) (0) - a - a - l.pdf},
    file-3 = {The Complexity of Model Checking Multi-stack Systems - Bollig, Kuske, Mennicke (2) (0) - a - a - l.pdf},
    doi = {10.1109/LICS.2013.22}
}

@inproceedings{BolligKuskeMennicke:2013, Author = {Bollig, B. and Kuske, D. and Mennicke, R.}, BookTitle = {Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on}, File = {The Complexity of Model Checking Multi-stack Systems - Bollig, Kuske, Mennicke (0) (0) - a - a - l.pdf}, ISSN = {1043-6871}, Keywords = {multi-pushdown automata}, Month = {June}, Pages = {163-172}, Title = {The Complexity of Model Checking Multi-stack Systems}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2013.22}, date-added = {2014-02-23 08:19:35 +0000}, date-modified = {2014-02-23 08:24:33 +0000}, file-2 = {The Complexity of Model Checking Multi-stack Systems - Bollig, Kuske, Mennicke (1) (0) - a - a - l.pdf}, file-3 = {The Complexity of Model Checking Multi-stack Systems - Bollig, Kuske, Mennicke (2) (0) - a - a - l.pdf}, doi = {10.1109/LICS.2013.22} }