A model-based tool for finding faults in hardware designs

Franz Wotawa, Markus Stumptner

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationArtificial intelligence in design '96
Place of PublicationDordrecht
PublisherKluwer
Pages?-?
ISBN (Print)0-7923-4080-9
Publication statusPublished - 1996
EventInternational Conference on Artificial Intelligence in Design - Stanford, United States
Duration: 24 Jun 199627 Jun 1996

Conference

ConferenceInternational Conference on Artificial Intelligence in Design
CountryUnited States
CityStanford
Period24/06/9627/06/96

Cite this

Wotawa, F., & Stumptner, M. (1996). A model-based tool for finding faults in hardware designs. In Artificial intelligence in design '96 (pp. ?-?). Dordrecht: Kluwer.

A model-based tool for finding faults in hardware designs. / Wotawa, Franz; Stumptner, Markus.

Artificial intelligence in design '96. Dordrecht : Kluwer, 1996. p. ?-?.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Wotawa, F & Stumptner, M 1996, A model-based tool for finding faults in hardware designs. in Artificial intelligence in design '96. Kluwer, Dordrecht, pp. ?-?, International Conference on Artificial Intelligence in Design, Stanford, United States, 24/06/96.
Wotawa F, Stumptner M. A model-based tool for finding faults in hardware designs. In Artificial intelligence in design '96. Dordrecht: Kluwer. 1996. p. ?-?
Wotawa, Franz ; Stumptner, Markus. / A model-based tool for finding faults in hardware designs. Artificial intelligence in design '96. Dordrecht : Kluwer, 1996. pp. ?-?
@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",

}

TY - GEN

T1 - A model-based tool for finding faults in hardware designs

AU - Wotawa, Franz

AU - Stumptner, Markus

PY - 1996

Y1 - 1996

M3 - Conference contribution

SN - 0-7923-4080-9

SP - ?-?

BT - Artificial intelligence in design '96

PB - Kluwer

CY - Dordrecht

ER -