Implementing and analyzing in maude the enhanced interior gateway routing protocol
Journal:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Year of publication: 2008
Pages: 227-243
Type: Conference paper