Adrián Riesco, Alberto Verdejo
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
WRLA, 2009.
@article{WRLA-2008-RiescoV09, author = "Adrián Riesco and Alberto Verdejo", doi = "10.1016/j.entcs.2009.05.023", journal = "{Electronic Notes in Theoretical Computer Science}", number = 3, pages = "249--266", title = "{Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol}", volume = 238, year = 2009, }