Expressive and efficient bounded model checking of concurrent software - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jeremy Morse. Expressive and efficient bounded model checking of concurrent software. PhD thesis, University of Southampton, UK, 2015. [doi]

@phdthesis{ethos-10988,
  title = {Expressive and efficient bounded model checking of concurrent software},
  author = {Jeremy Morse},
  year = {2015},
  url = {http://eprints.soton.ac.uk/379284/},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-10988},
  cites = {0},
  citedby = {0},
  school = {University of Southampton, UK},
}

runs on WebDSL