@proceedings{IWPTS-1994,
	address       = "Tokyo, Japan",
	title         = "{Proceedings of the Seventh International Workshop on Protocol Test Systems}",
	year          = 1994,
}