Inhaltsverzeichnis
Ein Ansatz zum Model-Checking von Software für eingebettete Systeme
Student
Betreuer
Ein Ansatz zum Model-Checking von Software für eingebettete Systeme
Student
Michael Rohrbach
Betreuer
Dr.rer.nat. Bastian Schlich