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 |