@misc{indiciae9adb38559764, title = {Packet flow analysis in IP networks via abstract interpretation}, author = {Raghavan Komondoor and K. Vasanta Lakshmi and Deva P. Seetharam and Sudha Balodia}, year = {2011}, url = {https://arxiv.org/abs/1111.6808}, note = {Source identifier: 1111.6808} }