%0 Journal Article %1 journals/aei/Wotawa00 %A Wotawa, Franz %D 2000 %J Artif. Intell. Eng. %K dblp %N 4 %P 331-351 %T Debugging VHDL designs using model-based reasoning. %U http://dblp.uni-trier.de/db/journals/aei/aie14.html#Wotawa00 %V 14

@article{journals/aei/Wotawa00, added-at = {2020-05-18T00:00:00.000+0200}, author = {Wotawa, Franz}, biburl = {https://www.bibsonomy.org/bibtex/2a68f5321ee839c0ae44c30059ddaf87e/dblp}, ee = {https://doi.org/10.1016/S0954-1810(00)00021-2}, interhash = {d218653900ff22cafb153443cd757279}, intrahash = {a68f5321ee839c0ae44c30059ddaf87e}, journal = {Artif. Intell. Eng.}, keywords = {dblp}, number = 4, pages = {331-351}, timestamp = {2020-05-19T12:13:54.000+0200}, title = {Debugging VHDL designs using model-based reasoning.}, url = {http://dblp.uni-trier.de/db/journals/aei/aie14.html#Wotawa00}, volume = 14, year = 2000 }