Inproceedings,
Deductive Diagnosis of Digital Circuits.
J. Alferes, F. Azevedo, P. Barahona, C. Damásio, and T. Swift.AIAI, volume 154 of IFIP, page 155-165. Kluwer/Springer, (2004)
Meta data
- BibTeX key
- conf/ifip12/AlferesABDS04
- entry type
- inproceedings
- booktitle
- AIAI
- year
- 2004
- pages
- 155-165
- publisher
- Kluwer/Springer
- series
- IFIP
- volume
- 154
- crossref
- conf/ifip12/2004
- ee
- https://doi.org/10.1007/1-4020-8151-0_14
- isbn
- 1-4020-8150-2
- url
- http://dblp.uni-trier.de/db/conf/ifip12/aiai2004.html#AlferesABDS04
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ifip12/AlferesABDS04
%A Alferes, José Júlio
%A Azevedo, Francisco
%A Barahona, Pedro
%A Damásio, Carlos Viegas
%A Swift, Terrance
%B AIAI
%D 2004
%E Bramer, Max
%E Devedzic, Vladan
%I Kluwer/Springer
%K dblp
%P 155-165
%T Deductive Diagnosis of Digital Circuits.
%U http://dblp.uni-trier.de/db/conf/ifip12/aiai2004.html#AlferesABDS04
%V 154
%@ 1-4020-8150-2
@inproceedings{conf/ifip12/AlferesABDS04,
added-at = {2019-10-19T00:00:00.000+0200},
author = {Alferes, José Júlio and Azevedo, Francisco and Barahona, Pedro and Damásio, Carlos Viegas and Swift, Terrance},
biburl = {https://www.bibsonomy.org/bibtex/2d5ea1a2d2c9ce9250f322e4088e830ac/dblp},
booktitle = {AIAI},
crossref = {conf/ifip12/2004},
editor = {Bramer, Max and Devedzic, Vladan},
ee = {https://doi.org/10.1007/1-4020-8151-0_14},
interhash = {58ae5ba176a9b00b035692292420afc8},
intrahash = {d5ea1a2d2c9ce9250f322e4088e830ac},
isbn = {1-4020-8150-2},
keywords = {dblp},
pages = {155-165},
publisher = {Kluwer/Springer},
series = {IFIP},
timestamp = {2019-10-22T15:47:35.000+0200},
title = {Deductive Diagnosis of Digital Circuits.},
url = {http://dblp.uni-trier.de/db/conf/ifip12/aiai2004.html#AlferesABDS04},
volume = 154,
year = 2004
}