TY  - RPRT
TI  - Technical Report: Toward Applying Quantum Computing to Network Verification
AU  - Kahlil Dozier
AU  - Justin Beltran
AU  - Kylie Berg
AU  - Hugo Matousek
AU  - Loqman Salamatian
AU  - Ethan Katz-Bassett
AU  - Dan Rubenstein
PY  - 2024
DO  - 10.1145/3696348.3696891
UR  - https://arxiv.org/abs/2410.17184
ID  - 2410.17184
ER  -