@article{Dam2006, Author = {Damm, W. and Schulte, C. and Segelken, M. and Wittke, H. and Higgen, U. and Eckrich, M.}, Title = {Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung}, Year = {2006}, Pages = {340-345}, Month = {06}, Isbn = {3-88579-363-6}, type = {article} } @COMMENT{Bibtex file generated on }