|
本帖最后由 tomhe 于 2025-5-4 03:12 编辑
8 {% N" A, _% i8 j7 P! K7 I( }% R3 d* T* T" X* {
[NSDI 25] NDD: A Decision Diagram for Network Verification, Zechun Li, Peng Zhang, Yichi Zhang, Hongkun Yang, Proceedings of USENIX NSDI'25 Awarded Outstanding Paper!
2 J6 e- C& {* f3 o! P- | |
|