![](/img/cover-not-exists.png)
[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - A methodology for generating verified combinatorial circuits
Kiselyov, Oleg, Swadi, Kedar N., Taha, WalidYear:
2004
Language:
english
DOI:
10.1145/1017753.1017794
File:
PDF, 99 KB
english, 2004