Formal verification of standards for distance vector routing protocols

DOI10.1145/581771.581775zbMath1326.68039OpenAlexW2033871392MaRDI QIDQ3455541

Could not fetch data.

Publication date: 7 December 2015

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/581771.581775

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.