Bibliografia
Principal
- Software Defined Networks: A Comprehensive Approach: Paul Goransson, Chuck Black Timothy Culver, Morgan Kaufmann 2016 2nd edition
- RYU SDN Framework : ryu-book en Ryubook.pdf
- Principles of the Spin Model Checker: Mordechai Ben-Ari 2008 Springer