Implementing and analyzing in maude the enhanced interior gateway routing protocol

  1. Riesco, A.
  2. Verdejo, A.
Revue:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Année de publication: 2008

Pages: 227-243

Type: Communication dans un congrès