|
@article{, author = {Klaus-Tycho Förster and Thomas Lüdi and Jochen Seidel and Roger Wattenhofer}, title = {Local Checkability, No Strings Attached: (A)cyclicity, Reachability, Loop Free Updates in SDNs}, journal = {Theoretical Computer Science (TCS)}, month = {Nov}, year = {2016} }