External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Some complexity results for stateful network verification

Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner. Some complexity results for stateful network verification. Formal Methods in System Design, 54(2):191-231, 2019. [doi]

Authors

Kalev Alpernas

This author has not been identified. Look up 'Kalev Alpernas' in Google

Aurojit Panda

This author has not been identified. Look up 'Aurojit Panda' in Google

Alexander Rabinovich

This author has not been identified. Look up 'Alexander Rabinovich' in Google

Mooly Sagiv

This author has not been identified. Look up 'Mooly Sagiv' in Google

Scott Shenker

This author has not been identified. Look up 'Scott Shenker' in Google

Sharon Shoham

This author has not been identified. Look up 'Sharon Shoham' in Google

Yaron Velner

This author has not been identified. Look up 'Yaron Velner' in Google
runs on