@收款{zbMATH06905198，作者＝{Larsen，Kim G.和Schmid，Stefan和Xue，Bingtian}，Title={{WNetKAT}：加权{SDN}编程和验证语言}，BookTitle={第20届分布式系统原理国际会议（OPODIS 2016），西班牙马德里，2016年12月13-16日。诉讼}，国际标准图书编号={978-3-95977-031-6}，页码={18}，注={Id/No 18}，年份={2017年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.OPODIS.2016.18}，关键词={68N15,68M10,68N30,68Q45}，zbMATH={6905198}，Zbl={1432.68052}}