ADONIS: Automated diagnosis system based on sound and precise logical descriptions.

Alejandro Rodrguez Gonzlez, Jos Emilio Labra Gayo, Giner Alor-Hernndez, Juan Miguel Gmez, Rubn Posada-Gmez

Browse the full CBMS paper archive.