Direkte Erzeugung symbolischer Darstellungen von Transitionssystemen aus Stochastischen Prozessalgebren

@MastersThesis{Werner02,
	author          = {Edith Werner},
	title           = {{Direkte Erzeugung symbolischer Darstellungen von Transitionssystemen aus Stochastischen Prozessalgebren}},
	address         = {Erlangen, Germany},
	school          = {FAU Erlangen},
	month           = aug,
	year            = 2002,
}