Inproceedings,
A formal model of network policy analysis.
F. Valenza, S. Spinoso, C. Basile, R. Sisto, and A. Lioy.RTSI, page 516-522. IEEE, (2015)
Meta data
- BibTeX key
- conf/rtsi/ValenzaSBSL15
- entry type
- inproceedings
- booktitle
- RTSI
- year
- 2015
- pages
- 516-522
- publisher
- IEEE
- crossref
- conf/rtsi/2015
- ee
- https://doi.org/10.1109/RTSI.2015.7325150
- isbn
- 978-1-4673-8167-3
- url
- http://dblp.uni-trier.de/db/conf/rtsi/rtsi2015.html#ValenzaSBSL15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/rtsi/ValenzaSBSL15
%A Valenza, Fulvio
%A Spinoso, Serena
%A Basile, Cataldo
%A Sisto, Riccardo
%A Lioy, Antonio
%B RTSI
%D 2015
%I IEEE
%K dblp
%P 516-522
%T A formal model of network policy analysis.
%U http://dblp.uni-trier.de/db/conf/rtsi/rtsi2015.html#ValenzaSBSL15
%@ 978-1-4673-8167-3
@inproceedings{conf/rtsi/ValenzaSBSL15,
added-at = {2022-12-06T00:00:00.000+0100},
author = {Valenza, Fulvio and Spinoso, Serena and Basile, Cataldo and Sisto, Riccardo and Lioy, Antonio},
biburl = {https://www.bibsonomy.org/bibtex/285c862bfcf00c0130f74e9a35a58ed87/dblp},
booktitle = {RTSI},
crossref = {conf/rtsi/2015},
ee = {https://doi.org/10.1109/RTSI.2015.7325150},
interhash = {3086c78cb647c3b2d7d7f49837fe4424},
intrahash = {85c862bfcf00c0130f74e9a35a58ed87},
isbn = {978-1-4673-8167-3},
keywords = {dblp},
pages = {516-522},
publisher = {IEEE},
timestamp = {2024-04-09T16:00:13.000+0200},
title = {A formal model of network policy analysis.},
url = {http://dblp.uni-trier.de/db/conf/rtsi/rtsi2015.html#ValenzaSBSL15},
year = 2015
}