@proceedings{IWPTS-1995,
	address       = "Evry, France",
	title         = "{Proceedings of the Eighth International Workshop on Protocol Test Systems}",
	year          = 1995,
}