- Artículo:
Formal verification of standards for distance vector routing protocols
- Autor:
Karthikeyan Bhargavan
Davor Obradovic
Carl A. Gunter
- Página:
538
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
49
- Número:
4
- Periodo:
Julio 2002
- ISSN:
00045411
- SrcID:
00045411-2002-04.txt
- Documento número 1670803
- Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Enlace directo
