Some complexity results for stateful network verification
- Yaron Velner
- , Kalev Alpernas*
- , Aurojit Panda
- , Alexander Rabinovich
- , Mooly Sagiv
- , Scott Shenker
- , Sharon Shoham
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
23
Scopus
citations