Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov (2021) Improving the formal verification of reachability policies in virtualized networks, In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, pp. 713-728, ISSN: 1932-4537
