@inproceedings{https___doi.org_10.4230_lipics.fsttcs.2025.1,
    doi = {10.4230/lipics.fsttcs.2025.1},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2025.1},
    author = {Abdulla, Parosh Aziz and Chen, Yu-Fang and Hečko, Michal and Holík, Lukáš and Lengál, Ondřej and Lin, Jyun-Ao and Srinivasan, Ramanathan Thinniyam},
    keywords = {Quantum Circuits, Quantum Computing, Program Verification, Automata, Model Checking, Theory of computation → Program verification},
    language = {en},
    title = {Quantum Circuit Verification - A Potential Roadmap (Invited Talk)},
    journal = {LIPIcs, Volume 360, FSTTCS 2025},
    volume = {360},
    pages = {1:1-1:8},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2025},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2026-2-17 13:48:31 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.fsttcs.2025.1, doi = {10.4230/lipics.fsttcs.2025.1}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2025.1}, author = {Abdulla, Parosh Aziz and Chen, Yu-Fang and Hečko, Michal and Holík, Lukáš and Lengál, Ondřej and Lin, Jyun-Ao and Srinivasan, Ramanathan Thinniyam}, keywords = {Quantum Circuits, Quantum Computing, Program Verification, Automata, Model Checking, Theory of computation → Program verification}, language = {en}, title = {Quantum Circuit Verification - A Potential Roadmap (Invited Talk)}, journal = {LIPIcs, Volume 360, FSTTCS 2025}, volume = {360}, pages = {1:1-1:8}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2025}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2026-2-17 13:48:31 +0100} }