Virtual Network Embedding with Formal Reachability Assurance

Riccardo Sisto (2018) Virtual Network Embedding with Formal Reachability Assurance, In: 14th International Conference on Network and Service Management, CNSM 2018 and Workshops, 1st International Workshop on High-Precision Networks Operations and Control, HiPNet 2018 and 1st Workshop on Segment Routing and Service Function Chaining, SR+SF..., pp. 368-372