Model Checking Dynamic UML Consistency.

Xiangpeng Zhao, Quan Long, Zongyan Qiu

Browse the full ICFEM paper archive.