König, Barbara:
Analysis and Verification of Systems with Dynamically Evolving Structures
2004
Buch / Fach: Informatik
Titel:
Analysis and Verification of Systems with Dynamically Evolving Structures
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2004
Umfang
238
WWW URL
Notiz:
Stuttgart, Univ., Habil.-Schr., 2004