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
Link URL:
Notiz:
Stuttgart, Univ., Habil.-Schr., 2004