@proceedings{IWTCS-1997,
	address       = "Cheju Island, Korea",
	title         = "{Proceedings of the 10th International Workshop on Testing Communicating Systems}",
	year          = 1997,
}