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]

Authors

Zuzana Beerliova

This author has not been identified. Look up 'Zuzana Beerliova' in Google

Felix Eberhard

This author has not been identified. Look up 'Felix Eberhard' in Google

Thomas Erlebach

This author has not been identified. Look up 'Thomas Erlebach' in Google

Alexander Hall

This author has not been identified. Look up 'Alexander Hall' in Google

Michael Hoffmann 0002

This author has not been identified. Look up 'Michael Hoffmann 0002' in Google

Matús Mihalák

This author has not been identified. Look up 'Matús Mihalák' in Google

L. Shankar Ram

This author has not been identified. Look up 'L. Shankar Ram' in Google