%0 Thesis %1 phd/ethos/Sorensen81 %A Sørensen, Ib Holm %D 1981 %K dblp %T Topics in programme specification and design : Specification and design of distributed systems.

@phdthesis{phd/ethos/Sorensen81, added-at = {2022-04-05T00:00:00.000+0200}, author = {Sørensen, Ib Holm}, biburl = {https://www.bibsonomy.org/bibtex/2f01af5e67710b7d23ab307d192d99b89/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.330389}, interhash = {ec7345e872320e8a9fe72f1da0d61ede}, intrahash = {f01af5e67710b7d23ab307d192d99b89}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2024-04-09T08:48:49.000+0200}, title = {Topics in programme specification and design : Specification and design of distributed systems.}, year = 1981 }