@inproceedings {LGO08, 
	title = {Towards validated network configurations with NCGuard},
	booktitle = {Proc. of Internet Network Management Workshop 2008},
	pages = {1-6},
	address = {Orlando, USA},
	author = {Laurent Vanbever and Grégory Pardoen and Olivier Bonaventure},
	year = {2008},
	month = {October},
}