- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 1 |      | 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 | [1] |
| 2 | Vera Pantelic | [1] |
| 3 | David Lorge Parnas | [1] |