Luca Amati, Cristiana Bolchini, Fabio Salice, Federico Franzoso. A Formal Condition to Stop an Incremental Automatic Functional Diagnosis. In Sebastián López, editor, 13th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2010, 1-3 September 2010, Lille, France. pages 637-643, IEEE, 2010. [doi]
@inproceedings{AmatiBSF10, title = {A Formal Condition to Stop an Incremental Automatic Functional Diagnosis}, author = {Luca Amati and Cristiana Bolchini and Fabio Salice and Federico Franzoso}, year = {2010}, doi = {10.1109/DSD.2010.98}, url = {http://dx.doi.org/10.1109/DSD.2010.98}, tags = {incremental}, researchr = {https://researchr.org/publication/AmatiBSF10}, cites = {0}, citedby = {0}, pages = {637-643}, booktitle = {13th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2010, 1-3 September 2010, Lille, France}, editor = {Sebastián López}, publisher = {IEEE}, isbn = {978-0-7695-4171-6}, }