Quantitative Network Monitoring with NetQRE. - Yifei Yuan 001; Dong Lin; Ankit Mishra; Sajal Marwaha; Rajeev Alur; Boon Thau Loo (SIGCOMM, 2017)