Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs.

Published in: Theor. Comput. Sci. (2018)

Keyphrases