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]

Authors

Miyoung Kang

This author has not been identified. Look up 'Miyoung Kang' in Google

Ki-Hyuk Nam

This author has not been identified. Look up 'Ki-Hyuk Nam' in Google

Junkil Park

This author has not been identified. Look up 'Junkil Park' in Google

Myung-Ki Shin

This author has not been identified. Look up 'Myung-Ki Shin' in Google

Jeehoon Shin

This author has not been identified. Look up 'Jeehoon Shin' in Google

Jin-Young Choi

This author has not been identified. Look up 'Jin-Young Choi' in Google