%0 Thesis %1 phd/ethos/Scott94 %A Scott, B. G. O. %D 1994 %K dblp %T A methodology for formal system development using process algebraic techniques.

@phdthesis{phd/ethos/Scott94, added-at = {2022-04-05T00:00:00.000+0200}, author = {Scott, B. G. O.}, biburl = {https://www.bibsonomy.org/bibtex/2735fda6d7015441efe31c44383b1711c/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.294356}, interhash = {f1805ab10a029db60d84ea4aa45b1b0b}, intrahash = {735fda6d7015441efe31c44383b1711c}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2024-04-09T08:57:00.000+0200}, title = {A methodology for formal system development using process algebraic techniques.}, year = 1994 }