Network Discovery and Verification. - Zuzana Beerliova; Felix Eberhard; Thomas Erlebach; Alexander Hall; Michael Hoffmann 002; Matús Mihalák; L. Shankar Ram (IEEE J. Sel. Areas Commun., 2006)