@inproceedings{Artho2001,
  author={C. Artho and A. Biere},
  title={Applying Static Analysis to Large-Scale, Multithreaded {J}ava Programs.},
  booktitle={Proc.\ 13th {ASWEC}},
  year={2001},
  publisher={IEEE Computer Society Press},
  pages = {68--75},
  address = {Canberra, Australia},
}