%0 Conference Paper %1 conf/sigcomm/LiJH019 %A Li, Yifan %A Jia, Jake %A Hu, Xiaohe %A Li, Jun %B NetPL@SIGCOMM %D 2019 %I ACM %K dblp %P 2 %T Real Time Control Plane Verification. %U http://dblp.uni-trier.de/db/conf/sigcomm/netpl2019.html#LiJH019 %@ 978-1-4503-6877-3

@inproceedings{conf/sigcomm/LiJH019, added-at = {2019-08-15T00:00:00.000+0200}, author = {Li, Yifan and Jia, Jake and Hu, Xiaohe and Li, Jun}, biburl = {https://www.bibsonomy.org/bibtex/2407b87eb40f788f275bbe4ff4be658ea/dblp}, booktitle = {NetPL@SIGCOMM}, crossref = {conf/sigcomm/2019netpl}, ee = {https://doi.org/10.1145/3341561.3349591}, interhash = {a6de042b606f0f6da627d85278190eb1}, intrahash = {407b87eb40f788f275bbe4ff4be658ea}, isbn = {978-1-4503-6877-3}, keywords = {dblp}, pages = 2, publisher = {ACM}, timestamp = {2019-08-16T11:37:31.000+0200}, title = {Real Time Control Plane Verification.}, url = {http://dblp.uni-trier.de/db/conf/sigcomm/netpl2019.html#LiJH019}, year = 2019 }