Wolfgang Herget, Christopher Krauß, Andreas Nonnengart, Torsten Spieldenner, Stefan Warwas, Ingo Zinnikus. A Virtual Environment for Collaborative Engineering with Formal Verification. In Cees Bil, John Mo, Josip Stjepandic, editors, 20th ISPE International Conference on Concurrent Engineering, Melbourne, Australia, September 2-6, 2013. pages 225-234, IOS Press, 2013. [doi]
Abstract is missing.