"Consistent and Secure Network Updates Made Practical."

James Lembke et al. (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics