Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/ethos/Barnard96
%A Barnard, Judith
%D 1996
%K
%T COMX : a methodology for the formal design of computer systems using communicating X-machines.
@phdthesis{phd/ethos/Barnard96,
added-at = {2023-12-12T23:32:50.000+0100},
author = {Barnard, Judith},
biburl = {https://www.bibsonomy.org/bibtex/2186fb471076425f81d23129f48908b74/admin},
ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321410},
interhash = {57209174271fce04c124c882d735352e},
intrahash = {186fb471076425f81d23129f48908b74},
keywords = {},
note = {British Library, EThOS},
school = {Staffordshire University, UK},
timestamp = {2023-12-12T23:32:50.000+0100},
title = {COMX : a methodology for the formal design of computer systems using communicating X-machines.},
year = 1996
}