Franz Wotawa. Using Multiple Models for Debugging VHDL Designs. In László Monostori, József Váncza, Moonis Ali, editors, Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings. Volume 2070 of Lecture Notes in Computer Science, pages 125-134, Springer, 2001. [doi]