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]
@article{NgoupePSVVCBH17,
title = {A Declarative Approach to Network Device Configuration Correctness},
author = {Eric Lunaud Ngoupe and Clément Parisot and Sylvain Stoesel and Petko Valtchev and Roger Villemaire and Omar Cherkaoui and Pierre Boucher and Sylvain Hallé},
year = {2017},
doi = {10.1007/s10922-016-9387-7},
url = {http://dx.doi.org/10.1007/s10922-016-9387-7},
researchr = {https://researchr.org/publication/NgoupePSVVCBH17},
cites = {0},
citedby = {0},
journal = {J. Network Syst. Manage.},
volume = {25},
number = {1},
pages = {180-209},
}