@inproceedings{8f5027f2f23e43cf8b7c1cda20e0a912,
title = "SDN-Actors: Modeling and Verification of SDN Programs",
author = "Elvira Albert and Miguel G{\'o}mez-Zamalloa and Albert Rubio and Matteo Sammartino and Alexandra Silva",
year = "2018",
month = jul,
day = "12",
doi = "10.1007/978-3-319-95582-7_33",
language = "English",
isbn = "978-3-319-95581-0",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "550--567",
editor = "Klaus Havelund and Jan Peleska and Bill Roscoe and {de Vink}, Erik",
booktitle = "Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings",
note = "22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 ; Conference date: 15-07-2018 Through 17-07-2018",
}