@inproceedings{Seidl09Region,
  author = {Helmut Seidl and Vesal Vojdani},
  title = {Region {A}nalysis for {R}ace {D}etection},
  booktitle = {Static Analysis},
  editor = {Jens Palsberg and Zhendong Su},
  month = {August},
  year = 2009,
  pages = {171-187},
  series = {Lecture Notes in Computer Science},
  volume = {5673},
  publisher = {Springer},
  address = {Los Angeles, CA, USA},
}