| dc.contributor.author | Arun, Venkat | |
| dc.contributor.author | Arashloo, Mina Tahmasbi | |
| dc.contributor.author | Saeed, Ahmed | |
| dc.contributor.author | Alizadeh, Mohammad | |
| dc.contributor.author | Balakrishnan, Hari | |
| dc.date.accessioned | 2022-05-25T16:26:30Z | |
| dc.date.available | 2022-05-25T16:26:30Z | |
| dc.date.issued | 2021 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/142728 | |
| dc.language.iso | en | |
| dc.publisher | ACM | en_US |
| dc.relation.isversionof | 10.1145/3452296.3472912 | en_US |
| dc.rights | Creative Commons Attribution-ShareAlike 4.0 International | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | en_US |
| dc.source | ACM | en_US |
| dc.title | Toward formally verifying congestion control behavior | en_US |
| dc.type | Article | en_US |
| dc.identifier.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. | |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | |
| dc.relation.journal | Proceedings of the 2021 ACM SIGCOMM 2021 Conference | en_US |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dc.date.updated | 2022-05-25T16:22:54Z | |
| dspace.orderedauthors | Arun, V; Arashloo, MT; Saeed, A; Alizadeh, M; Balakrishnan, H | en_US |
| dspace.date.submission | 2022-05-25T16:22:55Z | |
| mit.license | PUBLISHER_CC | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
