| |
| 2003 | ||
|---|---|---|
| 1 | EE | Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin: Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: 600-616 |
| 1 | Michael Goldsmith | [1] |
| 2 | Nick Moffat | [1] |
| 3 | A. W. Roscoe (A. William Roscoe, Bill Roscoe) | [1] |
| 4 | Irfan Zakiuddin | [1] |