Network verification via routing table queries

From MaRDI portal
Publication:743125


DOI10.1016/j.jcss.2014.06.003zbMath1401.90052MaRDI QIDQ743125

Ralf Klasing, Guido Proietti, Luciano Gualà, Davide Bilò, Evangelos Bampas, Guido Drovandi

Publication date: 22 September 2014

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2014.06.003


68Q25: Analysis of algorithms and problem complexity

68M10: Network design and communication in computer systems

90B10: Deterministic network models in operations research

68M15: Reliability, testing and fault tolerance of networks and computer systems


Related Items


Uses Software


Cites Work