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]