共 177 条
[1]
Al-Shaer E., 2010, P 3 ACM WORKSHOP ASS, P37, DOI DOI 10.1145/1866898.1866905
[2]
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-+
[3]
Al-Shaer ES, 2004, IEEE INFOCOM SER, P2605
[7]
[Anonymous], SATISFIABILITY MODUL
[8]
[Anonymous], 2014, IEEE IFIP NETW OPER
[9]
[Anonymous], 1654 RFC INT ENG TAS
[10]
[Anonymous], OPENFLOW SWITCH SPEC