author = { Lightner, Michael Association for Computing Machinery AND ACM Special Interest Group on Design Automation },

title = { Proceedings of the 1993 IEEEACM international conference on Computer-aided design },

publisher = {IEEE Computer Society Press},

isbn = {0818644907},

keywords = { Computer science , Robustness , Hardware test , Hardware validation , Konferenzschrift },

year = {1993},

abstract = {Title from The ACM Digital Library},

booktitle = {ACM Digital Library},

booktitle = {ACM Conferences},

address = { Los Alamitos, CA },

url = { http://slubdd.de/katalog?TN_libero_mab2 }