Direct methods for deductive verification of temporal properties in continuous dynamical systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Andrew Sogokon. Direct methods for deductive verification of temporal properties in continuous dynamical systems. PhD thesis, University of Edinburgh, UK, 2016. [doi]

@phdthesis{ethos-12158,
  title = {Direct methods for deductive verification of temporal properties in continuous dynamical systems},
  author = {Andrew Sogokon},
  year = {2016},
  url = {http://hdl.handle.net/1842/20952},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-12158},
  cites = {0},
  citedby = {0},
  school = {University of Edinburgh, UK},
}

runs on WebDSL