Crossmark

SDN-Actors: Modeling and Verification of SDN Programs

Crossref DOI link: https://doi.org/10.1007/978-3-319-95582-7_33

Published: 2018

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

Authors

Albert, Elvira

Gómez-Zamalloa, Miguel

Rubio, Albert

Sammartino, Matteo

Silva, Alexandra
License Information

unspecified valid from 2018-01-01