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
978-3-540-20363-6 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/b93958
ISBN
978-3-540-20363-6