@MastersThesis {Master:Amit07,
	AUTHOR = "Daphna Amit",
	Title ="Comparison under Abstraction for Verifying Linearizability",
	School = "Tel Aviv University",
	YEAR = 2007,
	address = "Tel Aviv, Israel"
}