dblp.uni-trier.dewww.uni-trier.de

Nick Moffat

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EENick Moffat, Michael Goldsmith, Bill Roscoe: A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. ICFEM 2008: 258-277
4EENick Moffat, Michael Goldsmith: Assumption-Commitment Support for CSP Model Checking. J. Autom. Reasoning 41(3-4): 365-398 (2008)
2007
3EENick Moffat, Michael Goldsmith: Assumption-Commitment Support for CSP Model Checking. Electr. Notes Theor. Comput. Sci. 185: 121-137 (2007)
2005
2EEIrfan 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
1EEMichael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin: Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: 600-616

Coauthor Index

1Michael Goldsmith [1] [3] [4] [5]
2Tim Hawkins [2]
3A. W. Roscoe (A. William Roscoe, Bill Roscoe) [1] [5]
4Tim Whitworth [1]
5Irfan Zakiuddin [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)