![](/img/cover-not-exists.png)
[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - Nice (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
Eggersgluss, S., Fey, G., Drechsler, R., Glowatz, A., Hapke, F., Schloeffel, J.Year:
2007
Language:
english
DOI:
10.1109/memcod.2007.371226
File:
PDF, 122 KB
english, 2007