%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 }