@book{23652,
	author = {IFIP WG 10.2 Advanced Research Working Conference CHARME'93 (1993 : Arles, France) and Milne, George J.},
	title = {Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings /},
	publisher = {Springer-Verlag,},
	year = {1993},
	address = {Berlin :}
}