@inproceedings{DAC-2005-SahooJIDE,
	author        = "Debashis Sahoo and Jawahar Jain and Subramanian K. Iyer and David L. Dill and E. Allen Emerson",
	booktitle     = "{Proceedings of the 42nd Design Automation Conference}",
	doi           = "10.1145/1065579.1065701",
	isbn          = "1-59593-058-2",
	pages         = "467--470",
	publisher     = "{ACM}",
	title         = "{Multi-threaded reachability}",
	year          = 2005,
}