Leistungsbewertung mit Multi-terminalen Binären Entscheidungsdiagrammen

@MastersThesis{Werner03,
	author          = {Edith Werner},
	title           = {{Leistungsbewertung mit Multi-terminalen Bin{\"a}ren Entscheidungsdiagrammen}},
	address         = {Erlangen, Germany},
	school          = {FAU Erlangen},
	month           = jun,
	year            = 2003,
}