%0 Conference Paper %1 conf/dsd/AmatiBSF10 %A Amati, Luca %A Bolchini, Cristiana %A Salice, Fabio %A Franzoso, Federico %B DSD %D 2010 %E López, Sebastián %I IEEE Computer Society %K dblp %P 637-643 %T A Formal Condition to Stop an Incremental Automatic Functional Diagnosis. %U http://dblp.uni-trier.de/db/conf/dsd/dsd2010.html#AmatiBSF10 %@ 978-0-7695-4171-6

@inproceedings{conf/dsd/AmatiBSF10, added-at = {2023-03-23T00:00:00.000+0100}, author = {Amati, Luca and Bolchini, Cristiana and Salice, Fabio and Franzoso, Federico}, biburl = {https://www.bibsonomy.org/bibtex/2901f38dea73523744aef18312aebbf0d/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2010}, editor = {López, Sebastián}, ee = {https://doi.ieeecomputersociety.org/10.1109/DSD.2010.98}, interhash = {16a3430a75c71252a252991d991fa6dc}, intrahash = {901f38dea73523744aef18312aebbf0d}, isbn = {978-0-7695-4171-6}, keywords = {dblp}, pages = {637-643}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:12:17.000+0200}, title = {A Formal Condition to Stop an Incremental Automatic Functional Diagnosis.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2010.html#AmatiBSF10}, year = 2010 }