Sanjai Narain. Network Configuration Management via Model Finding. In Proceedings of the 19th Conference on Systems Administration (LISA 2005), December 4-9, 2005, San Diego, California, USA. pages 155-168, USENIX, 2005. [doi]
@inproceedings{Narain05,
title = {Network Configuration Management via Model Finding},
author = {Sanjai Narain},
year = {2005},
url = {http://www.usenix.org/events/lisa05/tech/narain.html},
researchr = {https://researchr.org/publication/Narain05},
cites = {0},
citedby = {0},
pages = {155-168},
booktitle = {Proceedings of the 19th Conference on Systems Administration (LISA 2005), December 4-9, 2005, San Diego, California, USA},
publisher = {USENIX},
}