Topological Concepts for Hierarchies of variables, Types and Controls

Rudolf F. Albrecht. Topological Concepts for Hierarchies of variables, Types and Controls. In Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods. pages 3-10, Springer, 2001.

Abstract

Abstract is missing.