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]
@inproceedings{ValenzaSBSL15,
title = {A formal model of network policy analysis},
author = {Fulvio Valenza and Serena Spinoso and Cataldo Basile and Riccardo Sisto and Antonio Lioy},
year = {2015},
doi = {10.1109/RTSI.2015.7325150},
url = {https://doi.org/10.1109/RTSI.2015.7325150},
researchr = {https://researchr.org/publication/ValenzaSBSL15},
cites = {0},
citedby = {0},
pages = {516-522},
booktitle = {1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, RTSI 2015, Torino, Italy, September 16-18, 2015},
publisher = {IEEE},
isbn = {978-1-4673-8167-3},
}