@inproceedings{10.1007/978-3-031-09827-7_2,
    Address = {Cham},
    Author = {Dierl, Simon and Howar, Falk},
    BookTitle = {Tests and Proofs},
    Editor = {Kov{\'a}cs, Laura and Meinke, Karl},
    ISBN = {978-3-031-09827-7},
    Pages = {11--30},
    Publisher = {Springer International Publishing},
    Title = {Reach on Register Automata via History Independence},
    Year = {2022},
    date-added = {2022-07-01 15:21:37 +0200},
    date-modified = {2022-07-01 15:21:37 +0200},
    doi = {10.1007/978-3-031-09827-7_2}
}

@inproceedings{10.1007/978-3-031-09827-7_2, Address = {Cham}, Author = {Dierl, Simon and Howar, Falk}, BookTitle = {Tests and Proofs}, Editor = {Kov{\'a}cs, Laura and Meinke, Karl}, ISBN = {978-3-031-09827-7}, Pages = {11--30}, Publisher = {Springer International Publishing}, Title = {Reach on Register Automata via History Independence}, Year = {2022}, date-added = {2022-07-01 15:21:37 +0200}, date-modified = {2022-07-01 15:21:37 +0200}, doi = {10.1007/978-3-031-09827-7_2} }