%0 Conference Paper %1 conf/cbms/GonzalezGAGP09 %A González, Alejandro Rodríguez %A Gayo, José Emilio Labra %A Alor-Hernández, Giner %A Gómez, Juan Miguel %A Posada-Gómez, Rubén %B CBMS %D 2009 %I IEEE Computer Society %K dblp %P 1-8 %T ADONIS: Automated diagnosis system based on sound and precise logical descriptions. %U http://dblp.uni-trier.de/db/conf/cbms/cbms2009.html#GonzalezGAGP09 %@ 978-1-4244-4878-4

@inproceedings{conf/cbms/GonzalezGAGP09, added-at = {2023-03-24T00:00:00.000+0100}, author = {González, Alejandro Rodríguez and Gayo, José Emilio Labra and Alor-Hernández, Giner and Gómez, Juan Miguel and Posada-Gómez, Rubén}, biburl = {https://www.bibsonomy.org/bibtex/26941ad1bca9d87a50932cde21bbab349/dblp}, booktitle = {CBMS}, crossref = {conf/cbms/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/CBMS.2009.5255449}, interhash = {7c35bc0cd4fee04127a4c0336f855b8a}, intrahash = {6941ad1bca9d87a50932cde21bbab349}, isbn = {978-1-4244-4878-4}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:54:03.000+0200}, title = {ADONIS: Automated diagnosis system based on sound and precise logical descriptions.}, url = {http://dblp.uni-trier.de/db/conf/cbms/cbms2009.html#GonzalezGAGP09}, year = 2009 }