Performance Evaluation using Multi-Terminal Binary Decision Diagrams

@InProceedings{Werner04,
	author          = {Edith Werner},
	title           = {{Performance Evaluation using Multi-Terminal Binary Decision Diagrams}},
	booktitle       = {MMB & PGTS 2004},
	address         = {Dresden, Germany},
	publisher       = {VDE Verlag},
	note            = {Editors: P. Buchholz, R. Lehnert, M. Pióro},
	month           = sep,
	year            = 2004,
}