6 - Temporal Abstraction
Published online by Cambridge University Press: 21 January 2010
Summary

- Type
- Chapter
- Information
- Higher Order Logic and Hardware Verification , pp. 97 - 128Publisher: Cambridge University PressPrint publication year: 1993