"WNetKAT: A Weighted SDN Programming and Verification Language."

Kim G. Larsen, Stefan Schmid, Bingtian Xue (2016)

Details and statistics

DOI: 10.4230/LIPICS.OPODIS.2016.18

access: open

type: Conference or Workshop Paper

metadata version: 2024-05-07