Analysis and Verification of Systems with Dynamically Evolving ...

Reference

Barbara König. Analysis and verification of systems with dynamically evolving structures. Habilitation thesis, Universität Stuttgart, December 2004.

Suggested BibTeX entry:

@phdthesis{Koe04a,
    author = {Barbara K{\"o}nig},
    month = {December},
    school = {Universit{\"a}t Stuttgart},
    title = {Analysis and Verification of Systems with Dynamically Evolving Structures},
    type = {Habilitation thesis},
    year = {2004}
}



GZipped PostScript (998 kB)PDF (1 MB)
© University of Duisburg-Essen, Theoretical Computer Science group