Automated Semantic Analysis of Design Models.

Frank Weil, Brian E. Mastenbrook, David Nelson, Paul H. Dietz, Aswin van den Berg

Browse the full MODELS paper archive.