14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Verification and Validation 1 > 395-409
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Verification and Validation 1 > 410-424
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Verification and Validation 1 > 425-439