Eric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé. A Declarative Approach to Network Device Configuration Correctness. J. Network Syst. Manage., 25(1):180-209, 2017. [doi]
Abstract is missing.