Christopher Krauß, Andreas Nonnengart. Formal Analysis Meets 3D-Visualization. In Josip Stjepandic, Georg Rock, Cees Bil, editors, Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012. pages 145-156, Springer, 2012. [doi]
Abstract is missing.