DMCA

A Coalgebraic Decision Procedure for NetKAT (2015)

by Nate Foster , Dexter Kozen , Matthew Milano , Alexandra Silva , Laure Thompson
Citations:7 - 4 self