Paper: “Modelling Software-Defined Networks with Alloy”, Zaragoza, Spain
Paper entitled “Modelling Software-Defined Networks with Alloy” was presented at JCSD 2019, Zaragoza, Spain,19-21/6/2019.
For additional information access: https://5genesis.eu/wp-content/uploads/2019/06/Modelling-Software-Defined-Networks-with-Alloy.pdf