Bruno Lopes Alcantara Batista, Gustavo Augusto Lima de Campos, Marcial P. Fernandez. Flow-based conflict detection in OpenFlow networks using first-order logic. In IEEE Symposium on Computers and Communications, ISCC 2014, Funchal, Madeira, Portugal, June 23-26, 2014. pages 1-6, IEEE, 2014. [doi]
Abstract is missing.