- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |  | 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] |