author = { Larsen, Kim G. AND Schmid, Stefan AND Xue, Bingtian Kim G. Larsen and Stefan Schmid and Bingtian Xue },

title = { WNetKAT: A Weighted SDN Programming and Verification Language },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Reachability , Software-Defined Networking , Weighted Automata , NetKAT , Verification , Stateful Processing , Decidability , Service Chains },

year = {2017},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }