@article{DBBMSKR24,
  title = "Toward Applying Quantum Computing to Network Verification",
  author = "Kahlil Dozier, Kylie Berg, Justin Beltran, Hugo Matusek, Loqman Salamatian, Ethan Katz-Bassett, Dan Rubenstein",
  year = "2024",
  month = "nov",
  howpublished = "ACM HotNets 2024",
  address = "Irvine, CA",
}