@mastersthesis{publication-2950,
	author={D'Silva, Vijay Victor},
	editor={Bernstein, Abraham},
	faculty={Faculty of Economics, Business Administration and Information Technology},
	institution={University of Zurich},
	title={Widening for Automata},
	year=2006,
}