Inhaltsverzeichnis

Ein Ansatz zum Model-Checking von Software für eingebettete Systeme

Student

Michael Rohrbach

Betreuer

Dr.rer.nat. Bastian Schlich