Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Link-Resolver
Autor(en)
Bhargavan, Karthikeyan
Artikel
Formal verification of standards for distance vector routing protocols
Titel
Journal of the Association for Computing Machinery.
Verlag
Association for Computing Machinery,
Ort
New York, N.Y. :
Erscheinungsjahr
c1954-
Es wurden folgende elektronische Volltexte gefunden