| Original language | English |
|---|---|
| Title of host publication | Proceedings of the EPSRC RefineNet workshop |
| Place of Publication | Manchester |
| Publisher | University of Manchester |
| Publication status | Published - 2005 |
| MoE publication type | A4 Article in a conference publication |
Refinement of Statemachines
Colin Snook, Marina Walden
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review