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]
@inproceedings{KangNPSSC12,
title = {Formal specifications for software-defined networking},
author = {Miyoung Kang and Ki-Hyuk Nam and Junkil Park and Myung-Ki Shin and Jeehoon Shin and Jin-Young Choi},
year = {2012},
doi = {10.1145/2377310.2377331},
url = {http://doi.acm.org/10.1145/2377310.2377331},
researchr = {https://researchr.org/publication/KangNPSSC12},
cites = {0},
citedby = {0},
pages = {51},
booktitle = {7th International Conference on Future Internet Technologies, CFI '12, Seoul, Republic of Korea, September 11 - 12, 2012},
editor = {Dongman Lee and Joe Touch and Serge Fdida},
publisher = {ACM},
isbn = {978-1-4503-1690-3},
}