@phdthesis{ch-0,
  title = {Combining static and dynamic analysis to find multi-threading faults beyond data races},
  author = {Cyrille Artho},
  year = {2005},
  note = {http://d-nb.info/975260316},
  researchr = {https://researchr.org/publication/ch-0},
  cites = {0},
  citedby = {0},
  school = {ETH Zurich},
}