APA   Click to copy
ZOURE, M., AHMED, T., & REVEILLERE, L. (2021). VeriNeS: Runtime Verification of Outsourced Network Services Orchestration. In Proceedings of the 36th Annual ACM Symposium on Applied Computing (pp. 1138–1146). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/3412841.3441988

Chicago/Turabian   Click to copy
ZOURE, Moubarak, Toufik AHMED, and Laurent REVEILLERE. “VeriNeS: Runtime Verification of Outsourced Network Services Orchestration.” In Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1138–1146. SAC '21. New York, NY, USA: Association for Computing Machinery, 2021.

MLA   Click to copy
ZOURE, Moubarak, et al. “VeriNeS: Runtime Verification of Outsourced Network Services Orchestration.” Proceedings of the 36th Annual ACM Symposium on Applied Computing, Association for Computing Machinery, 2021, pp. 1138–46, doi:10.1145/3412841.3441988.

@inproceedings{moubarak2021a,
  title = {VeriNeS: Runtime Verification of Outsourced Network Services Orchestration},
  year = {2021},
  address = {New York, NY, USA},
  pages = {1138–1146},
  publisher = {Association for Computing Machinery},
  series = {SAC '21},
  doi = {10.1145/3412841.3441988},
  author = {ZOURE, Moubarak and AHMED, Toufik and REVEILLERE, Laurent},
  booktitle = {Proceedings of the 36th Annual ACM Symposium on Applied Computing}
}