Analysis and Verification of Systems with Dynamically Evolving Structures

(2004), 238 S.
Buch / Monographie / Fach: Informatik
Stuttgart, Univ., Habil.-Schr., 2004