@PHDTHESIS
{
	kacer-phdthesis,
	AUTHOR = "Jaroslav Ka\v{c}er",
	TITLE = "Simulation-Based Checking of {J}ava Concurrent Programs",
	SCHOOL = "University of West Bohemia",
	ADDRESS = "Z\v{C}U-FAV-KIV, Univerzitn\'{i} 22, 30614 Plze\v{n}, Czech Republic",
	MONTH = {January},
	YEAR = 2005
}