Yifei Yuan, Rajeev Alur, Boon Thau Loo. NetEgg: Programming Network Policies by Examples. In Ethan Katz-Bassett, John S. Heidemann, Brighten Godfrey, Anja Feldmann, editors, Proceedings of the 13th ACM Workshop on Hot Topics in Networks, HotNets-XIII, Los Angeles, CA, USA, October 27-28, 2014. ACM, 2014. [doi]
Abstract is missing.