Barbara König 0001. Analysis and verification of systems with dynamically evolving structure (Analyse und Verifikation von Systemen mit dynamischen Strukturveränderungen). PhD thesis, Stuttgart University, Germany, 2004. [doi]
No reviews for this publication, yet.