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]
Abstract is missing.