Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
Av
A. van Gemund
Academic Work (2)
Conference paper (2)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
2 records found
1
A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis
Conference paper (2006) -
A.B. Feldman (author)
,
J Pietersma (author)
,
A. van Gemund (author)
All Roads Lead to Fault Diagnosis: Model-Based Reasoning with textscLydia
Conference paper (2006) -
A.B. Feldman (author)
,
J Pietersma (author)
,
A. van Gemund (author)
