Toward formally verifying congestion control behavior
Name
3452296.3472912.pdf
Description
Published version
Size
1.35 MB
Format
Adobe PDF
Checksum (MD5)
9db5934901cb69996f03727f2484caba
Author(s)
Arun, Venkat
Arashloo, Mina Tahmasbi
Saeed, Ahmed
Alizadeh, Mohammad
Balakrishnan, Hari
Date Issued
2021
Journal
Proceedings of the 2021 ACM SIGCOMM 2021 Conference
Publisher
ACM
Citation
Arun, Venkat, Arashloo, Mina Tahmasbi, Saeed, Ahmed, Alizadeh, Mohammad and Balakrishnan, Hari. 2021. "Toward formally verifying congestion control behavior." Proceedings of the 2021 ACM SIGCOMM 2021 Conference.
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution-ShareAlike 4.0 International
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3452296.3472912
