Publikationen

• Christopher Krauß; Andreas Nonnengart
  Formal Analysis Meets 3D-Visualization.
  In: Georg Rock; Josip Stjepandic; Cees Bil (Hrsg.). Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment. ISPE International Conference on Concurrent Engineering (CE-2012), September 3-7, Trier, Germany, Pages 145-156, Vol. 1, ISBN 978-1-4471-4425-0, Springer, 9/2012.
• Mehr...