Symbolic techniques for parameterised verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Chih-Duo Hong. Symbolic techniques for parameterised verification. PhD thesis, University of Oxford, UK, 2022. [doi]

@phdthesis{ethos-16011,
  title = {Symbolic techniques for parameterised verification},
  author = {Chih-Duo Hong},
  year = {2022},
  url = {http://ora.ox.ac.uk/objects/uuid:60373d38-6126-4b6e-96e5-5f276a61fd1a},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-16011},
  cites = {0},
  citedby = {0},
  school = {University of Oxford, UK},
}

runs on WebDSL