Implementing and analyzing in maude the enhanced interior gateway routing protocol
Zeitschrift:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Datum der Publikation: 2008
Seiten: 227-243
Art: Konferenz-Beitrag