BibTeX record phd/ethos/Oliveira84

download as .bib file

@phdthesis{DBLP:phd/ethos/Oliveira84,
  author       = {Jos{\'{e}} Nuno Oliveira},
  title        = {The formal semantics of deterministic dataflow programs},
  school       = {University of Manchester, {UK}},
  year         = {1984},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.376586},
  timestamp    = {Tue, 05 Apr 2022 10:59:02 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Oliveira84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}