DMCA

A coalgebraic decision procedure for NetKAT (2014)

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