Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi. Verification for NFV-enabled network services. In International Conference on Information and Communication Technology Convergence, ICTC 2015, Jeju Island, South Korea, October 28-30, 2015. pages 810-815, IEEE, 2015. [doi]
Abstract is missing.