Stefan Edelkamp. Neue Wege in der Exploration. In Kurt Mehlhorn, Gregor Snelting, editors, Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000. Informatik aktuell, pages 65-77, Springer, 2000. [doi]
Abstract is missing.