König, Barbara:

Analysis and Verification of Systems with Dynamically Evolving Structures

(2004), 238 S.
Buch / Monographie / Fach: Informatik
http://www.ti.inf.uni-due.de/publications/koenig/habilschrift.pdf
Stuttgart, Univ., Habil.-Schr., 2004

Dieser Eintrag ist freigegeben.