Verification and Enforcement of Safe Schedules for Concurrent Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Patrick Metzler. Verification and Enforcement of Safe Schedules for Concurrent Programs. PhD thesis, Technical University of Darmstadt, Germany, 2020. [doi]

@phdthesis{dnb-23322,
  title = {Verification and Enforcement of Safe Schedules for Concurrent Programs},
  author = {Patrick Metzler},
  year = {2020},
  url = {http://d-nb.info/1223618145},
  researchr = {https://researchr.org/publication/dnb-23322},
  cites = {0},
  citedby = {0},
  school = {Technical University of Darmstadt, Germany},
}

runs on WebDSL