Abgeschlossene wissenschaftliche Arbeiten

@mastersthesis{Hauer15,
Author = {Marc Hauer},
Title = {Slicing Procedure for Faster Verification of Model-based Systems},
School = {Robotics Research Lab, Department of Computer Science, University of Kaiserslautern},
Year = {2015},
Type = {Bachelor{\textquoteright}s thesis},
Address = {Kaiserslautern, Germany},
Month = {June},
Note = {unpublished; supervised by Lisa Kiekbusch and Christopher Armbrust},
}