Algorithms and Tools for Verification and Testing of Asynchronous Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Zilong Wang. Algorithms and Tools for Verification and Testing of Asynchronous Programs. PhD thesis, University of Kaiserslautern, 2016. [doi]

@phdthesis{dnb-4060,
  title = {Algorithms and Tools for Verification and Testing of Asynchronous Programs},
  author = {Zilong Wang},
  year = {2016},
  url = {http://d-nb.info/1096220946},
  researchr = {https://researchr.org/publication/dnb-4060},
  cites = {0},
  citedby = {0},
  school = {University of Kaiserslautern},
}

runs on WebDSL