Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
ISSN: 1571-0661
Datum der Publikation: 2009
Ausgabe: 238
Nummer: 3
Seiten: 249-266
Art: Artikel
ISSN: 1571-0661
Datum der Publikation: 2009
Ausgabe: 238
Nummer: 3
Seiten: 249-266
Art: Artikel