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}
}
