14 results
7 - Abstraction between Models
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 129-146
-
- Chapter
- Export citation
Preface
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp xi-xiv
-
- Chapter
- Export citation
References
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 147-158
-
- Chapter
- Export citation
Index
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 159-165
-
- Chapter
- Export citation
Contents
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp v-viii
-
- Chapter
- Export citation
5 - Data Abstraction
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 69-96
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp i-iv
-
- Chapter
- Export citation
List of Figures
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp ix-x
-
- Chapter
- Export citation
2 - Higher Order Logic and the HOL System
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 9-28
-
- Chapter
- Export citation
1 - Hardware Verification
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 1-8
-
- Chapter
- Export citation
Higher Order Logic and Hardware Verification
-
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993
6 - Temporal Abstraction
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 97-128
-
- Chapter
- Export citation
4 - Abstraction
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 47-68
-
- Chapter
- Export citation
3 - Hardware Verification using Higher Order Logic
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 29-46
-
- Chapter
- Export citation