@MastersThesis {Master:Shacham04,
	AUTHOR = "Ohad Shacham",
	Title ="Scaling Model Checking of Dataraces Using Dynamic Information",
	School = "Tel Aviv University",
	YEAR = 2004,
	address = "Tel Aviv, Israel"
}