Network Discovery and Verification.

Zuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Mats Mihalk, L. Shankar Ram

Browse the full WG paper archive.