- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser: Relating counterexamples to test cases in CTL model checking specifications. A-MOST 2007: 75-84 |
| 1 | Paul Ammann | [1] |
| 2 | Gordon Fraser | [1] |
| 3 | Duminda Wijesekera | [1] |