Serena Spinoso, Matteo Virgilio, Wolfgang John, Antonio Manzalini, Guido Marchetto, Riccardo Sisto. Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context. In Schahram Dustdar, Frank Leymann, Massimo Villari, editors, Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. Volume 9306 of Lecture Notes in Computer Science, pages 253-262, Springer, 2015. [doi]
@inproceedings{SpinosoVJMMS15,
title = {Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context},
author = {Serena Spinoso and Matteo Virgilio and Wolfgang John and Antonio Manzalini and Guido Marchetto and Riccardo Sisto},
year = {2015},
doi = {10.1007/978-3-319-24072-5_18},
url = {http://dx.doi.org/10.1007/978-3-319-24072-5_18},
researchr = {https://researchr.org/publication/SpinosoVJMMS15},
cites = {0},
citedby = {0},
pages = {253-262},
booktitle = {Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings},
editor = {Schahram Dustdar and Frank Leymann and Massimo Villari},
volume = {9306},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-24071-8},
}