Article
Fixing Design Errors With Counterexamples and Resynthesis.
IEEE Trans. on CAD of Integrated Circuits and Systems
01/2008;
27:184-188.
pp.184-188
Source: DBLP
-
Citations (0)
-
Cited In (0)
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed.
The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual
current impact factor.
Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence
agreement may be applicable.
