@misc{indiciae2bc394e5d028,
  title = {Delta-net: Real-time Network Verification Using Atoms},
  author = {Alex Horn and Ali Kheradmand and Mukul R. Prasad},
  year = {2017},
  url = {https://arxiv.org/abs/1702.07375},
  note = {Source identifier: 1702.07375}
}