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 journal › Article
Original language | English |
---|---|
Article number | 100617 |
Number of pages | 25 |
Journal | Journal of Logical and Algebraic Methods in Programming |
Volume | 118 |
Early online date | 12 Oct 2020 |
DOIs | |
Publication status | Published - Jan 2021 |
ID: 39521563