Frank Weil, Brian E. Mastenbrook, David Nelson, Paul Dietz, Aswin van den Berg. Automated Semantic Analysis of Design Models. In Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil, editors, Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings. Volume 4735 of Lecture Notes in Computer Science, pages 166-180, Springer, 2007. [doi]
Abstract is missing.