@article{EsparzaKuceraSchoon:IC:2003,
    Address = {Duluth, MN, USA},
    Author = {Esparza, Javier and Kucera, Anton\'{\i}n and Schwoon, Stefan},
    File = {Model checking LTL with regular valuations for pushdown systems - 1-s2.0-S0890540103001391-main (0) - a - a - w.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {linear-time logic, model checking, pushdown automata},
    Month = {November},
    Number = {2},
    Pages = {355--376},
    Publisher = {Academic Press, Inc.},
    Title = {Model Checking LTL with Regular Valuations for Pushdown Systems},
    URL = {http://dx.doi.org/10.1016/S0890-5401(03)00139-1},
    Volume = {186},
    Year = {2003},
    acmid = {957699},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0890-5401(03)00139-1},
    date-added = {2019-08-15 19:42:13 +0200},
    date-modified = {2019-08-15 19:42:51 +0200},
    issue_date = {01 November 2003},
    numpages = {22},
    doi = {10.1016/S0890-5401(03)00139-1}
}

@article{EsparzaKuceraSchoon:IC:2003, Address = {Duluth, MN, USA}, Author = {Esparza, Javier and Kucera, Anton\'{\i}n and Schwoon, Stefan}, File = {Model checking LTL with regular valuations for pushdown systems - 1-s2.0-S0890540103001391-main (0) - a - a - w.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {linear-time logic, model checking, pushdown automata}, Month = {November}, Number = {2}, Pages = {355--376}, Publisher = {Academic Press, Inc.}, Title = {Model Checking LTL with Regular Valuations for Pushdown Systems}, URL = {http://dx.doi.org/10.1016/S0890-5401(03)00139-1}, Volume = {186}, Year = {2003}, acmid = {957699}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0890-5401(03)00139-1}, date-added = {2019-08-15 19:42:13 +0200}, date-modified = {2019-08-15 19:42:51 +0200}, issue_date = {01 November 2003}, numpages = {22}, doi = {10.1016/S0890-5401(03)00139-1} }