Heap-based reasoning about asynchronous programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Johannes Kloos. Heap-based reasoning about asynchronous programs. PhD thesis, Kaiserslautern University of Technology, Germany, 2018. [doi]

@phdthesis{dnb-21093,
  title = {Heap-based reasoning about asynchronous programs},
  author = {Johannes Kloos},
  year = {2018},
  url = {http://d-nb.info/1161409629},
  researchr = {https://researchr.org/publication/dnb-21093},
  cites = {0},
  citedby = {0},
  school = {Kaiserslautern University of Technology, Germany},
}

runs on WebDSL