@article{doi:10.1137/120876435,
    Author = {G{\"o}ller, S. and Lohrey, M.},
    EPrint = {http://dx.doi.org/10.1137/120876435},
    File = {Branching-Time Model Checking of One-Counter Processes and Timed Automata - Göller, Lohrey (0) (0) - a - a - l.pdf},
    Journal = {SIAM Journal on Computing},
    Number = {3},
    Pages = {884-923},
    Title = {Branching-Time Model Checking of One-Counter Processes and Timed Automata},
    URL = {http://dx.doi.org/10.1137/120876435},
    Volume = {42},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1137/120876435},
    date-added = {2014-11-13 15:04:44 +0000},
    date-modified = {2014-11-13 15:04:44 +0000},
    file-2 = {Branching-Time Model Checking of One-Counter Processes and Timed Automata - Göller, Lohrey (1) (0) - a - a - l.pdf},
    doi = {10.1137/120876435}
}

@article{doi:10.1137/120876435, Author = {G{\"o}ller, S. and Lohrey, M.}, EPrint = {http://dx.doi.org/10.1137/120876435}, File = {Branching-Time Model Checking of One-Counter Processes and Timed Automata - Göller, Lohrey (0) (0) - a - a - l.pdf}, Journal = {SIAM Journal on Computing}, Number = {3}, Pages = {884-923}, Title = {Branching-Time Model Checking of One-Counter Processes and Timed Automata}, URL = {http://dx.doi.org/10.1137/120876435}, Volume = {42}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1137/120876435}, date-added = {2014-11-13 15:04:44 +0000}, date-modified = {2014-11-13 15:04:44 +0000}, file-2 = {Branching-Time Model Checking of One-Counter Processes and Timed Automata - Göller, Lohrey (1) (0) - a - a - l.pdf}, doi = {10.1137/120876435} }