lu-2026-a:
  type: misc
  title: A Fast Quantitative Analyzer for NetKAT
  author:
  - Lu, Thomas
  - Fu, Qiancheng
  - Batz, Kevin
  - Bøving, Oliver
  - Ferreira, Tiago
  - Moeller, Mark
  - Foster, Nate
  - Silva, Alexandra
  date: 2026-07
  serial-number:
    arxiv: '2607.14420'