Describing and reasoning about circuits that are almost regular
Kapitel i bok, 2003
Författare
Mary Sheeran
Chalmers, Institutionen för datavetenskap, Formella metoder
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)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/b93958
ISBN
978-3-540-20363-6