@article{2611928d3e544e488a086dd4d51fe63b,
title = "Actor-based model checking for Software-Defined Networks",
keywords = "Actor-based modelling, Concurrency, Model checking, Software-Defined Networks, Verification",
author = "Elvira Albert and Miguel G{\'o}mez-Zamalloa and Miguel Isabel and Albert Rubio and Matteo Sammartino and Alexandra Silva",
year = "2021",
month = jan,
doi = "10.1016/j.jlamp.2020.100617",
language = "English",
volume = "118",
journal = "Journal of Logical and Algebraic Methods in Programming",
issn = "2352-2208",
publisher = "Elsevier Inc.",
}