SDN-Actors: Modeling and Verification of SDN Programs

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva

Journal title: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Journal number: 10951

Journal publisher: Springer International Publishing

Published year: 2018

Published pages: 550-567

DOI identifier: 10.1007/978-3-319-95582-7_33

ISBN: 978-3-319-95581-0