Network Verification via Routing Table Queries

Evangelos Bampas; Davide Bilò; Guido Drovandi; Luciano Gualà; Ralf Klasing; Guido Proietti

doi:10.1016/j.jcss.2014.06.003

Article Dans Une Revue Journal of Computer and System Sciences Année : 2015

Network Verification via Routing Table Queries

(1) , , , , (2) , (3, 4)

1
2
3
4

Evangelos Bampas

Fonction : Auteur
PersonId : 744162
IdHAL : evangelos-bampas

Modélisation, Information et Systèmes - UR UPJV 4290

CV

Davide Bilò

Fonction : Auteur

Guido Drovandi

Fonction : Auteur

Luciano Gualà

Fonction : Auteur

Ralf Klasing

Fonction : Auteur
PersonId : 736788
IdHAL : ralf-klasing
IdRef : 119134314

Laboratoire Bordelais de Recherche en Informatique

Guido Proietti

Fonction : Auteur

Department of Information Engineering, Computer Science and Mathematics = Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica [L'Aquila]

Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" [Roma]

Domaines

Algorithme et structure de données [cs.DS] Calcul parallèle, distribué et partagé [cs.DC]

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

Dates et versions

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

Identifiants

HAL Id : hal-00988004 , version 1
DOI : 10.1016/j.jcss.2014.06.003

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ANR U-PICARDIE MIS

73 Consultations

0 Téléchargements

Network Verification via Routing Table Queries

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager