@inproceedings {DSAOTISC12, 
	title = {Reducing the Complexity of BGP Stability Analysis with Hybrid Combinatorial-Algebraic Models},
	booktitle = {The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE)},
	author = {Debbie Perouli and Stefano Vissicchio and Alexander Gurney and Olaf Maennel and Timothy Griffin and Iain Phillips and Sonia Fahmy and Cristel Pelsser},
	year = {2012},
	month = {October},
}