@proceedings {Lourenco:2011:2002962,
	title = {Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD{\textquoteright}11)},
	year = {2011},
	note = {<p>n/a</p>
},
	publisher = {ACM},
	address = {New York, NY, USA},
	abstract = {<p>n/a</p>
},
	isbn = {9781-450-3080-9-0},
	author = {Jo{\~a}o M. Louren{\c c}o and Farchi, Eitan and Ur, Shmuel},
	editor = {Jo{\~a}o M. Louren{\c c}o and Farhi, Eitan and Ur, Shmuel}
}
