Inproceedings,
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults.
S. Eggersglüß, G. Fey, R. Drechsler, A. Glowatz, F. Hapke, and J. Schlöffel.MEMOCODE, page 181-187. IEEE Computer Society, (2007)
Meta data
- BibTeX key
- conf/memocode/EggersglussFDGHS07
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2007
- pages
- 181-187
- publisher
- IEEE Computer Society
- crossref
- conf/memocode/2007
- ee
- https://www.wikidata.org/entity/Q59242750
- isbn
- 1-4244-1050-9
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2007.html#EggersglussFDGHS07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memocode/EggersglussFDGHS07
%A Eggersglüß, Stephan
%A Fey, Görschwin
%A Drechsler, Rolf
%A Glowatz, Andreas
%A Hapke, Friedrich
%A Schlöffel, Jürgen
%B MEMOCODE
%D 2007
%I IEEE Computer Society
%K
%P 181-187
%T Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults.
%U http://dblp.uni-trier.de/db/conf/memocode/memocode2007.html#EggersglussFDGHS07
%@ 1-4244-1050-9
@inproceedings{conf/memocode/EggersglussFDGHS07,
added-at = {2023-12-13T06:01:15.000+0100},
author = {Eggersglüß, Stephan and Fey, Görschwin and Drechsler, Rolf and Glowatz, Andreas and Hapke, Friedrich and Schlöffel, Jürgen},
biburl = {https://www.bibsonomy.org/bibtex/29102e47a5d151790ce2e6726ec2e3d5d/admin},
booktitle = {MEMOCODE},
crossref = {conf/memocode/2007},
ee = {https://www.wikidata.org/entity/Q59242750},
interhash = {a9666fceea683c0b0eee3abeae696c5d},
intrahash = {9102e47a5d151790ce2e6726ec2e3d5d},
isbn = {1-4244-1050-9},
keywords = {},
pages = {181-187},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T06:01:15.000+0100},
title = {Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults.},
url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2007.html#EggersglussFDGHS07},
year = 2007
}