Daphna Amit

	2007
1		Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490

Coauthor Index

1	Thomas W. Reps	[1]
2	Noam Rinetzky	[1]
3	Shmuel Sagiv (Mooly Sagiv)	[1]
4	Eran Yahav	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page