共 108 条
[1]
Agarwal S, 2013, IEEE INFOCOM SER, P2211
[2]
AKHTAR S, 1987, THESIS WASHINGTON U
[4]
Al-Fares M., 2010, Hedera: dynamic flow scheduling for data center networks, P19
[5]
Al-Shaer E., 2010, P 3 ACM WORKSHOP ASS, P37, DOI DOI 10.1145/1866898.1866905
[6]
Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security
[J].
2009 17TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP 2009),
2009,
:123-+
[7]
[Anonymous], 2009, Technical report
[8]
[Anonymous], PROC
[9]
[Anonymous], 2011, P USENIX HOTICE WORK
[10]
[Anonymous], 2010, Bidirectional Forwarding Detection (BFD)