@book{581522,
	author = {Giessler, Alfred Baumgarten, Bernd Burkhardt, Heinz-Jurgen},
	title = {Testing communicating systems ifip tc6 9th international workshop on testing of communicating systems, darmstadt germany 9-11 september 1996},
	publisher = {CHAPMAN & HALL},
	year = {1996},
	address = {LONDON}
}