# A Coalgebraic Decision Procedure for NetKAT

Type
Publication
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Date