TY  - RPRT
TI  - Model-Based Debugging using Multiple Abstract Models
AU  - Wolfgang Mayer
AU  - Markus Stumptner
PY  - 2003
UR  - https://arxiv.org/abs/cs/0309030
ID  - cs/0309030
ER  -