SDN-Actors: Modeling and verification of SDN programs
- Albert, E.
- Gómez-Zamalloa, M.
- Rubio, A.
- Sammartino, M.
- Silva, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319955810
Argitalpen urtea: 2018
Alea: 10951 LNCS
Orrialdeak: 550-567
Mota: Biltzar ekarpena