Virtual Network Embedding with Formal Reachability Assurance

G. Marchetto, R. Sisto, J. Yusupov, A. Ksentini (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