| 2007 | ||
|---|---|---|
| 1 | John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki: Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. ASWEC 2007: 223-232 | |
| 1 | Paul A. Strooper | [1] |
| 2 | Luke Wildman | [1] |
| 3 | Margaret A. Wojcicki | [1] |