Flow-based conflict detection in OpenFlow networks using first-order logic.

Bruno Lopes Alcantara Batista, Gustavo Augusto Lima de Campos, Marcial Porto Fernandez

Browse the full ISCC paper archive.