@inproceedings{GUW091995,
               author = {G. Koch, U. Kebschull, W. Rosenstiel},
               title = {Debugging Behavioral VHDL Specifications by Source Level Emulation},
               booktitle = {Eurodac},
               year = {1995},
               month = {09},
               address = {Brighton, UK}
}