TY  - RPRT
TI  - On the Detection of Conflicts in Diagnostic Bayesian Networks Using Abstraction
AU  - Young-Gyun Kim
AU  - Marco Valtorta
PY  - 2013
UR  - https://arxiv.org/abs/1302.4967
ID  - 1302.4967
ER  -