@ARTICLE{2023arXiv230704235H,
    author = {{Hol{\'\i}k}, Luk{\'a}{\v{s}} and {{\v{S}}im{\'a}{\v{c}}ek}, Ji{\v{r}}{\'\i}},
    title = {{Optimizing an LTS-Simulation Algorithm (Technical Report)}},
    journal = {arXiv e-prints},
    keywords = {Computer Science - Formal Languages and Automata Theory},
    year = {2023},
    month = {jul},
    eid = {arXiv:2307.04235},
    pages = {arXiv:2307.04235},
    doi = {10.48550/arxiv.2307.04235},
    archiveprefix = {arXiv},
    eprint = {2307.04235},
    primaryclass = {cs.FL},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230704235H},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2026-3-20 15:1:32 +0100}
}

@ARTICLE{2023arXiv230704235H, author = {{Hol{\'\i}k}, Luk{\'a}{\v{s}} and {{\v{S}}im{\'a}{\v{c}}ek}, Ji{\v{r}}{\'\i}}, title = {{Optimizing an LTS-Simulation Algorithm (Technical Report)}}, journal = {arXiv e-prints}, keywords = {Computer Science - Formal Languages and Automata Theory}, year = {2023}, month = {jul}, eid = {arXiv:2307.04235}, pages = {arXiv:2307.04235}, doi = {10.48550/arxiv.2307.04235}, archiveprefix = {arXiv}, eprint = {2307.04235}, primaryclass = {cs.FL}, adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230704235H}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2026-3-20 15:1:32 +0100} }