SDN-Actors : Modeling and Verification of SDN Programs. / Albert, Elvira; Gómez-Zamalloa, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra.
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. ed. / Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink. Springer-Verlag, 2018. p. 550-567 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10951 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
E-pub ahead of print
Documents
- Accepted Manuscript
Accepted author manuscript, 502 KB, PDF document
| Original language | English |
|---|---|
| Title of host publication | Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings |
| Editors | Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink |
| Publisher | Springer-Verlag |
| Pages | 550-567 |
| Number of pages | 18 |
| ISBN (Electronic) | 978-3-319-95582-7 |
| ISBN (Print) | 978-3-319-95581-0 |
| DOIs | |
| Publication status | E-pub ahead of print - 12 Jul 2018 |
| Event | 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom Duration: 15 Jul 2018 → 17 Jul 2018 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 10951 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 |
|---|---|
| Country/Territory | United Kingdom |
| City | Oxford |
| Period | 15/07/18 → 17/07/18 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 36024515