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 › peer-review
Published
Documents
- Accepted Manuscript
Accepted author manuscript, 603 KB, PDF document
Licence: CC BY-NC-ND Show licence
| 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 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 39521563