-
- Ahmed Khurshid
- University of Illinois at Urbana-Champaign, Urbana, IL, USA
-
- Wenxuan Zhou
- University of Illinois at Urbana-Champaign, Urbana, IL, USA
-
- Matthew Caesar
- University of Illinois at Urbana-Champaign, Urbana, IL, USA
-
- P. Brighten Godfrey
- University of Illinois at Urbana-Champaign, Urbana, IL, USA
書誌事項
- タイトル別名
-
- verifying network-wide invariants in real time
- 公開日
- 2012-08-13
- 権利情報
-
- https://www.acm.org/publications/policies/copyright_policy#Background
- DOI
-
- 10.1145/2342441.2342452
- 公開者
- ACM
収録刊行物
-
- Proceedings of the first workshop on Hot topics in software defined networks
-
Proceedings of the first workshop on Hot topics in software defined networks 49-54, 2012-08-13
ACM