%0 Journal Article %1 journals/corr/abs-1708-05904 %A Alpernas, Kalev %A Manevich, Roman %A Panda, Aurojit %A Sagiv, Mooly %A Shenker, Scott %A Shoham, Sharon %A Velner, Yaron %D 2017 %J CoRR %K %T Modular Safety Verification for Stateful Networks. %U http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-05904 %V abs/1708.05904

@article{journals/corr/abs-1708-05904, added-at = {2023-12-13T00:46:08.000+0100}, author = {Alpernas, Kalev and Manevich, Roman and Panda, Aurojit and Sagiv, Mooly and Shenker, Scott and Shoham, Sharon and Velner, Yaron}, biburl = {https://www.bibsonomy.org/bibtex/268b4d3b7bf50b0418fde4e646257c5b2/admin}, ee = {http://arxiv.org/abs/1708.05904}, interhash = {681d04e8ba859bc991a40efdb2904e99}, intrahash = {68b4d3b7bf50b0418fde4e646257c5b2}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T00:46:08.000+0100}, title = {Modular Safety Verification for Stateful Networks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-05904}, volume = {abs/1708.05904}, year = 2017 }