@misc{indiciae6260bb163042,
  title = {WNetKAT: A Weighted SDN Programming and Verification Language},
  author = {Kim G. Larsen and Stefan Schmid and Bingtian Xue},
  year = {2016},
  url = {https://arxiv.org/abs/1608.08483},
  note = {Source identifier: 1608.08483}
}