Anduo Wang, Carolyn Talcott, Limin Jia, Boon Loo, Andre Scedrov. Analyzing BGP Instances in Maude. Roberto Bruni; Juergen Dingel. 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2011, Reykjavik,, Iceland. Springer
HAL Archives-Ouvertes,
Anduo Wang, Carolyn Talcott, Limin Jia, Boon Loo, Andre Scedrov. Analyzing BGP Instances in Maude.