@mastersthesis{instance1076,
	 title = {{Widening for Automata}},
	 author = {Vijay Victor D'Silva},
	 editor = {Abraham Bernstein},
	 year = {2006},
	 school = {University of Zurich},
	 group = {ddis},
	 Date-Added = {2026-08-02 18:39:40},
	 Date-Modified = {2026-08-03 06:52:30}
}