Actor-based model checking for Software-Defined Networks. / Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra.

In: Journal of Logical and Algebraic Methods in Programming, Vol. 118, 100617, 01.2021.

Research output: Contribution to journalArticle

Published

Documents

  • Accepted Manuscript

    Accepted author manuscript, 603 KB, PDF document

    Embargo ends: 12/10/21

    Licence: CC BY-NC-ND Show licence

  • Elvira Albert
  • Miguel Gómez-Zamalloa
  • Miguel Isabel
  • Albert Rubio
  • Matteo Sammartino
  • Alexandra Silva
Original languageEnglish
Article number100617
Number of pages25
JournalJournal of Logical and Algebraic Methods in Programming
Volume118
Early online date12 Oct 2020
DOIs
Publication statusPublished - Jan 2021
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39521563