Visible to the public Biblio

Filters: Keyword is Veriflow  [Clear All Filters]
2016-11-11
Wenxuan Zhou, University of Illinois at Urbana-Champaign, Matthew Caesar, University of Illinois at Urbana-Champaign, Brighten Godfrey, University of Illinois at Urbana-Champaign.  2015.  Enforcing Customizable Consistency Properties in Software-Defined Networks.

Presented to the Illinois SoS Bi-weekly Meeting, April 2015.