Network verification via routing table queries

From MaRDI portal
Publication:743125

DOI10.1016/j.jcss.2014.06.003zbMath1401.90052OpenAlexW1593732822MaRDI 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




Related Items


Uses Software


Cites Work