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

===== Student =====
Michael Rohrbach

===== Betreuer =====
[[:lehrstuhl:mitarbeiter:schlich]]