@inproceedings{spinoso:hal-01757560,
  TITLE = {{Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context}},
  AUTHOR = {Spinoso, Serena and Virgilio, Matteo and John, Wolfgang and Manzalini, Antonio and Marchetto, Guido and Sisto, Riccardo},
  URL = {https://inria.hal.science/hal-01757560},
  NOTE = {Part 3: Work-in-Progress Track},
  BOOKTITLE = {{4th European Conference on Service-Oriented and Cloud Computing (ESOCC)}},
  ADDRESS = {Taormina, Italy},
  EDITOR = {Schahram Dustdar and Frank Leymann and Massimo Villari},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Service Oriented and Cloud Computing},
  VOLUME = {LNCS-9306},
  PAGES = {253-262},
  YEAR = {2015},
  MONTH = Sep,
  DOI = {10.1007/978-3-319-24072-5\_18},
  KEYWORDS = {DevOps ; Formal verification ; Service graphs ; Network function forwarding graph},
  PDF = {https://inria.hal.science/hal-01757560/file/370579_1_En_18_Chapter.pdf},
  HAL_ID = {hal-01757560},
  HAL_VERSION = {v1},
}