Actor-based model checking for Software-Defined Networks

  1. Albert, E.
  2. Gómez-Zamalloa, M.
  3. Isabel, M.
  4. Rubio, A.
  5. Sammartino, M.
  6. Silva, A.
Revue:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216 2352-2208

Année de publication: 2021

Volumen: 118

Type: Article

DOI: 10.1016/J.JLAMP.2020.100617 GOOGLE SCHOLAR