Article Dans Une Revue
Journal of Computer and System Sciences
Année : 2015
Ralf Klasing : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00988004
Soumis le : mercredi 7 mai 2014-10:24:18
Dernière modification le : vendredi 24 mars 2023-14:52:58
Citer
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
73
Consultations
0
Téléchargements