Login / Signup
Abstract interpretation of distributed network control planes.
Ryan Beckett
Aarti Gupta
Ratul Mahajan
David Walker
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
distributed network
abstract interpretation
sensor placement
database