Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

(FIVE YEARS 0)

9783540567783, 9783540706557

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/bfb0021718 ◽

1993 ◽

pp. 109-121 ◽

Cited By ~ 1

Author(s):

Jacques Chazarain ◽

Hélne Collavizza

Keyword(s):

Object Oriented ◽

Symbolic Evaluation ◽

Object Oriented Approach ◽

Oriented Approach

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/bfb0021724 ◽

1993 ◽

pp. 191-202 ◽

Cited By ~ 10

Author(s):

Bhaskar Bose ◽

Steven D. Johnson