Describing and reasoning about circuits that are almost regular
Book chapter, 2003

Author

Mary Sheeran

Chalmers, Department of Computing Science, Formal Methods

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings / Daniel Geist, Enrico Tronci, (Eds.).

4-18

Subject Categories

Computer and Information Science

ISBN

978-3-540-20363-6

More information

Created

10/6/2017