creators_name: Butler, Michael
creators_id: mjb@ecs.soton.ac.uk
type: monograph
datestamp: 2009-05-28 16:20:05
lastmod: 2010-04-19 15:05:54
metadata_visibility: show
title: Towards a Cookbook for Modelling and Refinement of Control Problems
ispublished: unpub
subjects: Refinement
subjects: deploy_training_eventb
subjects: examples
full_text_status: public
monograph_type: working_paper
date: 2009-02
publisher: ECS, University of Southampton
citation:   Butler, Michael  (2009) Towards a Cookbook for Modelling and Refinement of Control Problems.  Working Paper. ECS, University of Southampton.    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/108/1/cookbook.pdf