Veröffentlichungen

@mastersthesis{Ropertz12,
Author = {Thorsten Ropertz},
Title = {Graphical Support for the Verification of Behaviour Networks},
School = {Robotics Research Lab, Department of Computer Science, University of Kaiserslautern},
Year = {2012},
Type = {Master{\textquoteright}s thesis},
Address = {Kaiserslautern, Germany},
Note = {unpublished; supervised by Christopher Armbrust and Lisa Kiekbusch},
}