@misc{indiciae6fe93e3dc210,
  title = {Model Checking Software-Defined Networks with Flow Entries that Time Out (version with appendix)},
  author = {Vasileios Klimis and George Parisis and Bernhard Reus},
  year = {2022},
  url = {https://arxiv.org/abs/2008.06149},
  note = {Source identifier: 2008.06149}
}