@bachelorsthesis{publication-7407,
	author={Sch{\"u}ller, Luis},
	editor={B{\"o}hlen, Michael Hanspeter and Tilgner, Christian},
	faculty={Faculty of Economics, Business Administration and Information Technology},
	institution={University of Zurich},
	pages=38,
	title={Simultaneous execution of single- and multi-version protocols with the oshiya debugger and analyzer},
	year=2012,
}