| |
| 2006 | ||
|---|---|---|
| 2 | Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas: Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. Software Engineering Research and Practice 2006: 629-635 | |
| 1 | EE | Mark Lawford, Vera Pantelic, Hong Zhang: Towards Integrated Verification of Timed Transition Models. Fundam. Inform. 70(1-2): 75-110 (2006) |
| 1 | Xiao-Hui Jin | [2] |
| 2 | Mark Lawford | [1] [2] |
| 3 | David Lorge Parnas | [2] |
| 4 | Hong Zhang | [1] |