Published in
Proceedings 1988 IEEE International Conference on Computer Design: VLSI
Links
Tools
A functional approach to formal hardware verification: the MTI experience
Proceedings article published in 2003 by
D. Borrione,
D. Borritone,
P. Camurati,
J.-L. Paillet,
P. Prinetto
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 
Abstract
International audience