@article{ClementeLasotaLazicMazowiecki:TOCL:2019,
    Address = {New York, NY, USA},
    Author = {Clemente, Lorenzo and Lasota, S{\l}awomir and Lazi\'{c}, Ranko and Mazowiecki, Filip},
    File = {a14-clemente (0) (0) - a - a - a.pdf},
    ISSN = {1529-3785},
    Journal = {ACM Trans. Comput. Logic},
    Keywords = {Timed automata, branching vector addition systems, pushdown automata, timed-register pushdown automata},
    Month = {May},
    Number = {3},
    Pages = {14:1--14:31},
    Publisher = {ACM},
    Title = {Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems},
    URL = {http://doi.acm.org/10.1145/3326161},
    Volume = {20},
    Year = {2019},
    acmid = {3326161},
    articleno = {14},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3326161},
    bdsk-url-2 = {https://doi.org/10.1145/3326161},
    date-added = {2019-06-12 08:48:54 +0200},
    date-modified = {2019-08-16 15:46:34 +0200},
    issue_date = {June 2019},
    numpages = {31},
    doi = {10.1145/3326161}
}

@article{ClementeLasotaLazicMazowiecki:TOCL:2019, Address = {New York, NY, USA}, Author = {Clemente, Lorenzo and Lasota, S{\l}awomir and Lazi\'{c}, Ranko and Mazowiecki, Filip}, File = {a14-clemente (0) (0) - a - a - a.pdf}, ISSN = {1529-3785}, Journal = {ACM Trans. Comput. Logic}, Keywords = {Timed automata, branching vector addition systems, pushdown automata, timed-register pushdown automata}, Month = {May}, Number = {3}, Pages = {14:1--14:31}, Publisher = {ACM}, Title = {Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems}, URL = {http://doi.acm.org/10.1145/3326161}, Volume = {20}, Year = {2019}, acmid = {3326161}, articleno = {14}, bdsk-url-1 = {http://doi.acm.org/10.1145/3326161}, bdsk-url-2 = {https://doi.org/10.1145/3326161}, date-added = {2019-06-12 08:48:54 +0200}, date-modified = {2019-08-16 15:46:34 +0200}, issue_date = {June 2019}, numpages = {31}, doi = {10.1145/3326161} }