Refinement of Statemachines

Colin Snook, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationProceedings of the EPSRC RefineNet workshop
Place of PublicationManchester
PublisherUniversity of Manchester
Publication statusPublished - 2005
MoE publication typeA4 Article in a conference publication

Cite this