@book{23651,
	author = {IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 and Camurati, Paolo E.,},
	title = {Correct hardware design and verification methods :},
	publisher = {Springer-Verlag,},
	year = {1995},
	address = {Berlin :}
}