Buffy: A Formal Language-Based Framework for Network Performance Analysis.

Amir Seyhani, Junyi Zhao, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo

Browse the full HOTNETS paper archive.