This site has been permanently archived. This is a static copy provided by the University of Southampton.

Hallerstede, Stefan and Snook, Colin (2011) Refining Nodes and Edges of State Machines. In: ICFEM 2011: 13th International Conference on Formal Engineering Methods.