Implementing and analyzing in maude the enhanced interior gateway routing protocol
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Any de publicació: 2008
Pàgines: 227-243
Tipus: Aportació congrés