Journal Articles
Journal of Computer and System Sciences
Year : 2015
Ralf Klasing : Connect in order to contact the contributor
https://hal.science/hal-00988004
Submitted on : Wednesday, May 7, 2014-10:24:18 AM
Last modification on : Friday, March 24, 2023-2:52:58 PM
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⟩
Collections
72
View
0
Download