Toward formally verifying congestion control behavior

Bibliographic Details
Main Authors:	Arun, Venkat (Author), Arashloo, Mina Tahmasbi (Author), Saeed, Ahmed (Author), Alizadeh, Mohammad (Author), Balakrishnan, Hari (Author)
Format:	Article
Language:	English
Published:	ACM, 2022-05-25T16:26:30Z.
Subjects:	Article
Online Access:	Get fulltext


LEADER	00605 am a22001933u 4500
001	142728
042			\|a dc
100	1	0	\|a Arun, Venkat \|e author
700	1	0	\|a Arashloo, Mina Tahmasbi \|e author
700	1	0	\|a Saeed, Ahmed \|e author
700	1	0	\|a Alizadeh, Mohammad \|e author
700	1	0	\|a Balakrishnan, Hari \|e author
245	0	0	\|a Toward formally verifying congestion control behavior
260			\|b ACM, \|c 2022-05-25T16:26:30Z.
856			\|z Get fulltext \|u https://hdl.handle.net/1721.1/142728
546			\|a en
655	7		\|a Article
773			\|t 10.1145/3452296.3472912
773			\|t Proceedings of the 2021 ACM SIGCOMM 2021 Conference

Similar Items