A model-based tool for finding faults in hardware designs

Franz Wotawa, Markus Stumptner

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Artificial intelligence in design '96
Place of Publication	Dordrecht
Publisher	Kluwer
Pages	?-?
ISBN (Print)	0-7923-4080-9
Publication status	Published - 1996
Event	International Conference on Artificial Intelligence in Design - Stanford, United States Duration: 24 Jun 1996 → 27 Jun 1996

Conference	International Conference on Artificial Intelligence in Design
Country/Territory	United States
City	Stanford
Period	24/06/96 → 27/06/96

Cite this

@inproceedings{d7b766964049498fa6e202d32c0ad989,

title = "A model-based tool for finding faults in hardware designs",

author = "Franz Wotawa and Markus Stumptner",

year = "1996",

language = "English",

isbn = "0-7923-4080-9",

pages = "?--?",

booktitle = "Artificial intelligence in design '96",

publisher = "Kluwer",

address = "Netherlands",

note = "International Conference on Artificial Intelligence in Design ; Conference date: 24-06-1996 Through 27-06-1996",

}