bibtex

@inproceedings{SJB05,
    title = {Finding and Fixing Faults },
    author = {Staber, Stefan and Jobstmann, Barbara and Bloem, Roderick},
    year = {2005},
    booktitle = {Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr{\"u}cken, Germany, October 3-6, 2005, Proceedings},
    pages = {35-49},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {3725},
    team = {DCS},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4095374