WNetKAT: A Weighted SDN Programming and Verification Language.

Kim G. Larsen, Stefan Schmid, Bingtian Xue

Browse the full OPODIS paper archive.