Journal
Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jaloliddin; Ksentini, Adlen
A formal approach to verify connectivity and optimize VNF placement in industrial networks
IEEE Transactions on Industrial Informatics, Vol.17, N°2, February 2021