TY  - RPRT
TI  - Modeling State in Software Debugging of VHDL-RTL Designs -- A Model-Based Diagnosis Approach
AU  - Bernhard Peischl
AU  - Franz Wotawa
PY  - 2003
UR  - https://arxiv.org/abs/cs/0311001
ID  - cs/0311001
ER  -