9 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Mark Moeller, Tiago Ferreira, Thomas Lu +2
NetKAT is a domain-specific programming language and logic that has been successfully used to specify and verify the behavior of packet-switched networks. This paper develops techn…