@inproceedings{dsahoo/dac/2005,
  author    = {Debashis Sahoo and
               Jawahar Jain and
               Subramanian K. Iyer and
               David L. Dill and
               E. Allen Emerson},
  title     = {Multi-threaded Reachability},
  booktitle = {DAC},
  year      = {2005},
}