Formal specifications for software-defined networking

Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi. Formal specifications for software-defined networking. In Dongman Lee, Joe Touch, Serge Fdida, editors, 7th International Conference on Future Internet Technologies, CFI '12, Seoul, Republic of Korea, September 11 - 12, 2012. pages 51, ACM, 2012. [doi]

Abstract

Abstract is missing.