Entwicklung und Anwendung eines neuen Umgebungssimulationssystems für den Test und die Verifikation reaktiver Softwarekomponenten

Christian Kreiner

Research output: ThesisDoctoral Thesis

Original languageGerman
Publication statusPublished - 1999

Cite this