König, Barbara:
Analysis and Verification of Systems with Dynamically Evolving Structures
2004
Buch2004Informatik
Titel:
Analysis and Verification of Systems with Dynamically Evolving Structures
Autor(in):
König, BarbaraLSF
Erscheinungsjahr
2004
Umfang
238
WWW URL
Notiz:
Stuttgart, Univ., Habil.-Schr., 2004