Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy. A formal model of network policy analysis. In 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, RTSI 2015, Torino, Italy, September 16-18, 2015. pages 516-522, IEEE, 2015. [doi]
Abstract is missing.