Network Verification via Routing Table Queries - Archive ouverte HAL Access content directly
Journal Articles Journal of Computer and System Sciences Year : 2015

Dates and versions

hal-00988004 , version 1 (07-05-2014)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More