Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu. SymNet: static checking for stateful networks. In Felipe Huici, Vyas Sekar, editors, Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization, HotMiddlebox 2013, Santa Barbara, California, USA, December 9, 2013. pages 31-36, ACM, 2013. [doi]
@inproceedings{StoenescuPNR13,
title = {SymNet: static checking for stateful networks},
author = {Radu Stoenescu and Matei Popovici and Lorina Negreanu and Costin Raiciu},
year = {2013},
doi = {10.1145/2535828.2535835},
url = {http://doi.acm.org/10.1145/2535828.2535835},
researchr = {https://researchr.org/publication/StoenescuPNR13},
cites = {0},
citedby = {0},
pages = {31-36},
booktitle = {Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization, HotMiddlebox 2013, Santa Barbara, California, USA, December 9, 2013},
editor = {Felipe Huici and Vyas Sekar},
publisher = {ACM},
isbn = {978-1-4503-2574-5},
}