Ali Hussein, Imad H. Elhajj, Ali Chehab, Ayman I. Kayssi. SDN verification plane for consistency establishment. In IEEE Symposium on Computers and Communication, ISCC 2016, Messina, Italy, June 27-30, 2016. pages 519-524, IEEE, 2016. [doi]
Abstract is missing.