A Characterisation of verification tools for software defined networks

TitleA Characterisation of verification tools for software defined networks
Publication TypeJournal Article
Year of Publication2017
AuthorsLavado L, Panizo L, Gallardo M-del-M, Merino P
JournalJournal of Reliable Intelligent Environments
Volume3
Pagination189–207
Date Published07/2017
ISSN2199-4668
DOI10.1007/s40860-017-0045-y