@misc{indiciae1df977ec71b5,
  title = {Preventive Model-based Verification and Repairing for SDN Requests},
  author = {Igor Burdonov and Alexandre Kossachev and Nina Yevtushenko and Jorge López and Natalia Kushik and Djamal Zeghlache},
  year = {2020},
  url = {https://arxiv.org/abs/1906.03101},
  note = {Source identifier: 1906.03101}
}