@inproceedings{AtigBolligHabermehl:Ordered:2008,
    Address = {Berlin, Heidelberg},
    Author = {Atig, Mohamed Faouzi and Bollig, Benedikt and Habermehl, Peter},
    BookTitle = {Proc. of DLT'08},
    File = {Emptiness of Multi-pushdown Automata Is 2ETIME-Complete - Atig, Bollig, Habermehl (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-85779-2},
    Keywords = {multi-pushdown automata},
    Location = {Kyoto, Japan},
    Pages = {121--133},
    Publisher = {Springer-Verlag},
    Title = {Emptiness of Multi-pushdown Automata Is {2ETIME}-Complete},
    URL = {http://dx.doi.org/10.1007/978-3-540-85780-8\_9},
    Year = {2008},
    acmid = {1433702},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85780-8\_9},
    date-added = {2012-11-20 11:01:51 +0000},
    date-modified = {2014-05-30 09:36:05 +0000},
    numpages = {13},
    doi = {10.1007/978-3-540-85780-8_9}
}

@inproceedings{AtigBolligHabermehl:Ordered:2008, Address = {Berlin, Heidelberg}, Author = {Atig, Mohamed Faouzi and Bollig, Benedikt and Habermehl, Peter}, BookTitle = {Proc. of DLT'08}, File = {Emptiness of Multi-pushdown Automata Is 2ETIME-Complete - Atig, Bollig, Habermehl (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-85779-2}, Keywords = {multi-pushdown automata}, Location = {Kyoto, Japan}, Pages = {121--133}, Publisher = {Springer-Verlag}, Title = {Emptiness of Multi-pushdown Automata Is {2ETIME}-Complete}, URL = {http://dx.doi.org/10.1007/978-3-540-85780-8_9}, Year = {2008}, acmid = {1433702}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85780-8_9}, date-added = {2012-11-20 11:01:51 +0000}, date-modified = {2014-05-30 09:36:05 +0000}, numpages = {13}, doi = {10.1007/978-3-540-85780-8_9} }