@article{f801097354304f75b6fee7dc403f86bb,
title = "Atomic predicates-based data plane properties verification in software defined networking using spark",
keywords = "SDN, Spark, data plane properties verification, network management, packet reachability verification",
author = "Yicong Zhang and Jie Li and Shigetomo Kimura and Wei Zhao and Das, \{Sajal K.\}",
note = "Publisher Copyright: {\textcopyright} 1983-2012 IEEE.",
year = "2020",
month = jul,
doi = "10.1109/JSAC.2020.2986956",
language = "English",
volume = "38",
pages = "1308--1321",
journal = "IEEE Journal on Selected Areas in Communications",
issn = "0733-8716",
number = "7",
}