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

Ämneskategorier

Data- och informationsvetenskap

ISBN

978-3-540-20363-6

Mer information

Skapat

2017-10-06