Nan Zhu, Wenbo He. ScalaSEM: Scalable validation of SDN design with deployable code. In 34th IEEE International Performance Computing and Communications Conference, IPCCC 2015, Nanjing, China, December 14-16, 2015. pages 1-8, IEEE, 2015. [doi]
Abstract is missing.