Formal specification and verification of hardware: a comparative case study
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
An algebraic model for design space with applications to function module generation
EURO-DAC '90 Proceedings of the conference on European design automation
Hi-index | 0.00 |