TY  - JOUR
A1  - Chatterjee, M.
A1  - Pradhan, D. K.
A1  - Kunz, Wolfgang
T1  - ATPG-based Transformations for random-pattern testable logic synthesis
Y1  - 1995
SN  - 0-8186-7213-7
SN  - 0-8186-7214-5
SN  - 0-8186-7215-3
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - Lemma handling in default logic theorem provers
Y1  - 1995
SN  - 3540601120
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - An approach to context-based default reasoning
Y1  - 1995
SN  - 0169-2968
ER  - 
TY  - JOUR
A1  - Thielscher, Michael
A1  - Schaub, Torsten H.
T1  - Default reasoning by deductive planning
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Sogomonyan, Egor S.
A1  - Gössel, Michael
T1  - A new parity preserving multi-input signature analyser
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Bogue, Ted
A1  - Jürgensen, Helmut
A1  - Gössel, Michael
T1  - BIST with negligible aliasing through random cover circuits
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Richter, Peter
T1  - Efficient shortest path algorithms for road traffic optimization
Y1  - 1994
ER  - 
TY  - BOOK
A1  - Schröder-Preikschat, Wolfgang
T1  - The logical design of parallel operating systems
Y1  - 1994
PB  - Prentice Hall International
CY  - Englewood Cliffs
ER  - 
TY  - JOUR
A1  - Schröder-Preikschat, Wolfgang
T1  - PEACE - software backplane for parallel computing
Y1  - 1994
ER  - 
TY  - JOUR
A1  - Sommerfeld, Erdmute
T1  - Operations on cognitive structures : their modelling on the basis of graph theory
Y1  - 1994
ER  -