You are about to access our book library "Correct Hardware Design and Verification Methods: Ifipwg10.2 Advanced Research Working Conference Charme '93, Arles, France, May 24-26, 1993 : Procee (Lecture Notes in Computer Science) full version" .