@misc{indiciae132b2ba5e26e,
  title = {Derivation of Network Reprogramming Protocol with Z3},
  author = {Vidhya Tekken-Valapil and Sandeep S. Kulkarni},
  year = {2017},
  url = {https://arxiv.org/abs/1709.06604},
  note = {Source identifier: 1709.06604}
}