Actor-based model checking for Software-Defined Networks
- Albert, E.
- Gómez-Zamalloa, M.
- Isabel, M.
- Rubio, A.
- Sammartino, M.
- Silva, A.
Zeitschrift:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Datum der Publikation: 2021
Ausgabe: 118
Art: Artikel