@article{DBLP:journals/jcss/BampasBDGKP15,
  author    = {Evangelos Bampas and
               Davide Bil{\`{o}} and
               Guido Drovandi and
               Luciano Gual{\`{a}} and
               Ralf Klasing and
               Guido Proietti},
  title     = {Network verification via routing table queries},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {81},
  number    = {1},
  pages     = {234--248},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jcss.2014.06.003},
  doi       = {10.1016/j.jcss.2014.06.003},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/jcss/BampasBDGKP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"iLxKdZSoFkx4oz3Bk","authorIDs":["546dc9b1ec3c47a518000bb0"],"author_short":["Bampas, E.","Bilò, D.","Drovandi, G.","Gualà, L.","Klasing, R.","Proietti, G."],"bibbaseid":"bampas-bil-drovandi-gual-klasing-proietti-networkverificationviaroutingtablequeries-2015","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Evangelos"],"propositions":[],"lastnames":["Bampas"],"suffixes":[]},{"firstnames":["Davide"],"propositions":[],"lastnames":["Bilò"],"suffixes":[]},{"firstnames":["Guido"],"propositions":[],"lastnames":["Drovandi"],"suffixes":[]},{"firstnames":["Luciano"],"propositions":[],"lastnames":["Gualà"],"suffixes":[]},{"firstnames":["Ralf"],"propositions":[],"lastnames":["Klasing"],"suffixes":[]},{"firstnames":["Guido"],"propositions":[],"lastnames":["Proietti"],"suffixes":[]}],"title":"Network verification via routing table queries","journal":"J. Comput. Syst. Sci.","volume":"81","number":"1","pages":"234--248","year":"2015","url":"https://doi.org/10.1016/j.jcss.2014.06.003","doi":"10.1016/j.jcss.2014.06.003","timestamp":"Tue, 06 Jun 2017 01:00:00 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/journals/jcss/BampasBDGKP15","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@article{DBLP:journals/jcss/BampasBDGKP15,\n author = {Evangelos Bampas and\n Davide Bil{\\`{o}} and\n Guido Drovandi and\n Luciano Gual{\\`{a}} and\n Ralf Klasing and\n Guido Proietti},\n title = {Network verification via routing table queries},\n journal = {J. Comput. Syst. Sci.},\n volume = {81},\n number = {1},\n pages = {234--248},\n year = {2015},\n url = {https://doi.org/10.1016/j.jcss.2014.06.003},\n doi = {10.1016/j.jcss.2014.06.003},\n timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/journals/jcss/BampasBDGKP15},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Bampas, E.","Bilò, D.","Drovandi, G.","Gualà, L.","Klasing, R.","Proietti, G."],"key":"DBLP:journals/jcss/BampasBDGKP15","id":"DBLP:journals/jcss/BampasBDGKP15","bibbaseid":"bampas-bil-drovandi-gual-klasing-proietti-networkverificationviaroutingtablequeries-2015","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jcss.2014.06.003"},"downloads":0},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/b/Bampas:Evangelos","creationDate":"2014-10-03T08:51:32.414Z","downloads":0,"keywords":[],"search_terms":["network","verification","via","routing","table","queries","bampas","bilò","drovandi","gualà","klasing","proietti"],"title":"Network verification via routing table queries","year":2015,"dataSources":["srR5HdMGujSe8qs4j"]}