Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed 0001, Mohammad Alizadeh, Hari Balakrishnan. Toward formally verifying congestion control behavior. In Fernando A. Kuipers, Matthew C. Caesar, editors, ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021. pages 1-16, ACM, 2021. [doi]
@inproceedings{ArunA0AB21,
title = {Toward formally verifying congestion control behavior},
author = {Venkat Arun and Mina Tahmasbi Arashloo and Ahmed Saeed 0001 and Mohammad Alizadeh and Hari Balakrishnan},
year = {2021},
doi = {10.1145/3452296.3472912},
url = {https://doi.org/10.1145/3452296.3472912},
researchr = {https://researchr.org/publication/ArunA0AB21},
cites = {0},
citedby = {0},
pages = {1-16},
booktitle = {ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021},
editor = {Fernando A. Kuipers and Matthew C. Caesar},
publisher = {ACM},
isbn = {978-1-4503-8383-7},
}