Crossmark

A characterisation of verification tools for software defined networks

Crossref DOI link: https://doi.org/10.1007/s40860-017-0045-y

Published Online: 2017-07-29

Published Print: 2017-09

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Lavado, Leticia https://orcid.org/0000-0002-3471-1877
Panizo, Laura https://orcid.org/0000-0002-6399-6162
Gallardo, María-del-Mar https://orcid.org/0000-0003-3481-5307
Merino, Pedro https://orcid.org/0000-0003-2456-4946
Funding

Funding for this research was provided by:

Spanish Ministry of Economy and Competitiveness (TIN2015-67083-R)
License Information

License valid from 2017-07-29