Finding and Fixing Faults

Stefan Simon Staber, Barbara Jobstmann, Roderick Paul Bloem

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

Original languageEnglish
Title of host publicationCorrect Hardware Design and Verification Methods
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages35-49
Volume3725
ISBN (Print)3-540-29105-9
DOIs
Publication statusPublished - 2005
EventAdvanced Research Working Conference on Correct Hardware Design and Verification Methods - Saarbruecken, Germany
Duration: 3 Oct 20056 Oct 2005

Publication series

NameLecture notes in computer science
PublisherSpringer

Conference

ConferenceAdvanced Research Working Conference on Correct Hardware Design and Verification Methods
CountryGermany
CitySaarbruecken
Period3/10/056/10/05

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Staber, S. S., Jobstmann, B., & Bloem, R. P. (2005). Finding and Fixing Faults. In Correct Hardware Design and Verification Methods (Vol. 3725, pp. 35-49). (Lecture notes in computer science). Berlin [u.a.]: Springer. https://doi.org/10.1007/11560548_6

Finding and Fixing Faults. / Staber, Stefan Simon; Jobstmann, Barbara; Bloem, Roderick Paul.

Correct Hardware Design and Verification Methods. Vol. 3725 Berlin [u.a.] : Springer, 2005. p. 35-49 (Lecture notes in computer science).

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

Staber, SS, Jobstmann, B & Bloem, RP 2005, Finding and Fixing Faults. in Correct Hardware Design and Verification Methods. vol. 3725, Lecture notes in computer science, Springer, Berlin [u.a.], pp. 35-49, Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Saarbruecken, Germany, 3/10/05. https://doi.org/10.1007/11560548_6
Staber SS, Jobstmann B, Bloem RP. Finding and Fixing Faults. In Correct Hardware Design and Verification Methods. Vol. 3725. Berlin [u.a.]: Springer. 2005. p. 35-49. (Lecture notes in computer science). https://doi.org/10.1007/11560548_6
Staber, Stefan Simon ; Jobstmann, Barbara ; Bloem, Roderick Paul. / Finding and Fixing Faults. Correct Hardware Design and Verification Methods. Vol. 3725 Berlin [u.a.] : Springer, 2005. pp. 35-49 (Lecture notes in computer science).
@inproceedings{8cb3125e01844910af8094ed410eea63,
title = "Finding and Fixing Faults",
author = "Staber, {Stefan Simon} and Barbara Jobstmann and Bloem, {Roderick Paul}",
year = "2005",
doi = "10.1007/11560548_6",
language = "English",
isbn = "3-540-29105-9",
volume = "3725",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "35--49",
booktitle = "Correct Hardware Design and Verification Methods",

}

TY - GEN

T1 - Finding and Fixing Faults

AU - Staber, Stefan Simon

AU - Jobstmann, Barbara

AU - Bloem, Roderick Paul

PY - 2005

Y1 - 2005

U2 - 10.1007/11560548_6

DO - 10.1007/11560548_6

M3 - Conference contribution

SN - 3-540-29105-9

VL - 3725

T3 - Lecture notes in computer science

SP - 35

EP - 49

BT - Correct Hardware Design and Verification Methods

PB - Springer

CY - Berlin [u.a.]

ER -