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 journalArticlepeer-review



  • 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
Early online date12 Oct 2020
Publication statusPublished - Jan 2021
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39521563