@phdthesis{instance129,
	 title = {{Simulation teilformaler Anforderungsmodelle [Simulation of semi-formal requirements models (in German)]}},
	 author = {Christian Seybold},
	 year = {2006},
	 address = {Zurich},
	 school = {University of Zurich},
	 group = {rerg},
	 Date-Added = {2026-08-02 18:39:36},
	 Date-Modified = {2026-08-03 06:52:26}
}