@ARTICLE{2019arXiv190713115M,
    author = {{Masopust}, Tom{\'a}{\v{s}} and {Kr{\"o}tzsch}, Markus},
    title = {{Partially Ordered Automata and Piecewise Testability}},
    journal = {arXiv e-prints},
    keywords = {Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory},
    year = {2019},
    month = {jul},
    eid = {arXiv:1907.13115},
    pages = {arXiv:1907.13115},
    doi = {10.48550/arXiv.1907.13115},
    archiveprefix = {arXiv},
    eprint = {1907.13115},
    primaryclass = {cs.LO},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2019arXiv190713115M},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2023-11-24 7:3:2 +0100}
}

@ARTICLE{2019arXiv190713115M, author = {{Masopust}, Tom{\'a}{\v{s}} and {Kr{\"o}tzsch}, Markus}, title = {{Partially Ordered Automata and Piecewise Testability}}, journal = {arXiv e-prints}, keywords = {Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory}, year = {2019}, month = {jul}, eid = {arXiv:1907.13115}, pages = {arXiv:1907.13115}, doi = {10.48550/arXiv.1907.13115}, archiveprefix = {arXiv}, eprint = {1907.13115}, primaryclass = {cs.LO}, adsurl = {https://ui.adsabs.harvard.edu/abs/2019arXiv190713115M}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2023-11-24 7:3:2 +0100} }