@conference { dias10_inforum,
	title = {Snapshot Isolation Anomalies Detection in Software Transactional Memory},
	booktitle = {Proceedings of InForum 2010},
	year = {2010},
	note = {URL={http://inforum.org.pt/INForum2010}},
	month = {09},
	publisher = {Universidade do Minho},
	organization = {Universidade do Minho},
	author = {Ricardo Dias and J. C. Seco and J. M. S. Louren{\c c}o}
}
