Verifying Network Properties in SRv6 based Service Function Chaining

Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda. Verifying Network Properties in SRv6 based Service Function Chaining. In AINTEC '21: Asian Internet Engineering Conference, Virtual Event, Japan, December 14 - 16, 2021. pages 18-26, ACM, 2021. [doi]

@inproceedings{ShiibaKAF21,
  title = {Verifying Network Properties in SRv6 based Service Function Chaining},
  author = {Ryusei Shiiba and Satoru Kobayashi and Osamu Akashi and Kensuke Fukuda},
  year = {2021},
  doi = {10.1145/3497777.3498546},
  url = {https://doi.org/10.1145/3497777.3498546},
  researchr = {https://researchr.org/publication/ShiibaKAF21},
  cites = {0},
  citedby = {0},
  pages = {18-26},
  booktitle = {AINTEC '21: Asian Internet Engineering Conference, Virtual Event, Japan, December 14 - 16, 2021},
  publisher = {ACM},
  isbn = {978-1-4503-9184-9},
}