Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov. Automated synthesis of reactive controllers for software-defined networks. In 2013 21st IEEE International Conference on Network Protocols, ICNP 2013, Göttingen, Germany, October 7-10, 2013. pages 1-6, IEEE, 2013. [doi]
Abstract is missing.