| 2008 |
|---|
| 5 | EE | Nick Moffat,
Michael Goldsmith,
Bill Roscoe:
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.
ICFEM 2008: 258-277 |
| 4 | EE | Nick Moffat,
Michael Goldsmith:
Assumption-Commitment Support for CSP Model Checking.
J. Autom. Reasoning 41(3-4): 365-398 (2008) |
| 2007 |
|---|
| 3 | EE | Nick Moffat,
Michael Goldsmith:
Assumption-Commitment Support for CSP Model Checking.
Electr. Notes Theor. Comput. Sci. 185: 121-137 (2007) |
| 2005 |
|---|
| 2 | EE | Irfan Zakiuddin,
Tim Hawkins,
Nick Moffat:
Towards A Game Theoretic Understanding of Ad-Hoc Routing.
Electr. Notes Theor. Comput. Sci. 119(1): 67-92 (2005) |
| 2003 |
|---|
| 1 | EE | Michael Goldsmith,
Nick Moffat,
Bill Roscoe,
Tim Whitworth,
Irfan Zakiuddin:
Watchdog Transformations for Property-Oriented Model-Checking.
FME 2003: 600-616 |
