| |
| 2008 | ||
|---|---|---|
| 2 | Kuang-Nan Chang: Model Checking Consistency Between Sequence and State Diagrams. Software Engineering Research and Practice 2008: 457-461 | |
| 2007 | ||
| 1 | Kuang-Nan Chang: Consistency Checks on UML Diagrams. Software Engineering Research and Practice 2007: 242-246 | |