| |
| | Bill Mitchell, Department of Computing, University of Surrey |
 | | Bill Mitchell, Robert Thomson, Paul Bristow, Scenario Synthesis from Imprecise Requirements, Fourth International Workshop SAM 2004: SDL and MSC, pp 127--142, Ed: Daniel Amyot, Alan Williams, LNCS 3319. |
 | | Bill Mitchell, Robert Thomson, Paul Bristow, Imprecise Synthesis, Proceedings of the International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, in conjunction with ICSE 2004, IEE publications. |
 | | Bill Mitchell, Robert Thomson, Paul Bristow, Model Synthesis from Imprecise Specifications, Proceedings of the Verification and Validation of Enterprise Information Systems International Workshop, VVEIS 2005, in conjunction with ICEIS 2004. |
| www.computing.surrey.ac.uk /personal/st/W.Mitchell (661 words) |
|