1. DKE
2. Research
3. Publications
4. BibTeX Stum00m

@article{Stum00m,
   author = {M.~Stumptner AND F.~Wotawa},
   journal = {{K\"unstliche Intelligenz}},
   title = {{Using Model-Based Reasoning for Locating Faults in VHDL Designs}},
   year = {2000}
}