Formal object oriented development of software systems using LOTOS - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

J. Paul Gibson. Formal object oriented development of software systems using LOTOS. PhD thesis, University of Stirling, UK, 1993. [doi]

@phdthesis{ethos-8389,
  title = {Formal object oriented development of software systems using LOTOS},
  author = {J. Paul Gibson},
  year = {1993},
  url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334669},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-8389},
  cites = {0},
  citedby = {0},
  school = {University of Stirling, UK},
}

runs on WebDSL