Network Discovery and Verification

Zuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann 0002, Matús Mihalák, L. Shankar Ram. Network Discovery and Verification. In Dieter Kratsch, editor, Graph-Theoretic Concepts in Computer Science, 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers. Volume 3787 of Lecture Notes in Computer Science, pages 127-138, Springer, 2005. [doi]

@inproceedings{BeerliovaEEHHMR05,
  title = {Network Discovery and Verification},
  author = {Zuzana Beerliova and Felix Eberhard and Thomas Erlebach and Alexander Hall and Michael Hoffmann 0002 and Matús Mihalák and L. Shankar Ram},
  year = {2005},
  doi = {10.1007/11604686_12},
  url = {http://dx.doi.org/10.1007/11604686_12},
  tags = {discovery},
  researchr = {https://researchr.org/publication/BeerliovaEEHHMR05},
  cites = {0},
  citedby = {0},
  pages = {127-138},
  booktitle = {Graph-Theoretic Concepts in Computer Science, 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers},
  editor = {Dieter Kratsch},
  volume = {3787},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-31000-2},
}