Cartesian abstraction and verification of multithreaded programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Alexander Malkis. Cartesian abstraction and verification of multithreaded programs. PhD thesis, University of Freiburg, 2010. [doi]

@phdthesis{de-638,
  title = {Cartesian abstraction and verification of multithreaded programs},
  author = {Alexander Malkis},
  year = {2010},
  url = {http://www.freidok.uni-freiburg.de/volltexte/7356/},
  note = {http://d-nb.info/1001104331},
  researchr = {https://researchr.org/publication/de-638},
  cites = {0},
  citedby = {0},
  school = {University of Freiburg},
}

runs on WebDSL