Skip to Main content Skip to Navigation
Journal articles

Network Verification via Routing Table Queries

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00988004
Contributor : Ralf Klasing <>
Submitted on : Wednesday, May 7, 2014 - 10:24:18 AM
Last modification on : Thursday, September 9, 2021 - 4:52:02 PM

Links full text

Identifiers

Collections

Citation

Evangelos Bampas, Davide Bilò, Guido Drovandi, Luciano Gualà, Ralf Klasing, et al.. Network Verification via Routing Table Queries. Journal of Computer and System Sciences, Elsevier, 2015, 81 (1), pp.234-248. ⟨10.1016/j.jcss.2014.06.003⟩. ⟨hal-00988004⟩

Share

Metrics

Record views

236