Alejandro Rodríguez González, José Emilio Labra Gayo, Giner Alor-Hernández, Juan Miguel Gómez, Rubén Posada-Gómez. ADONIS: Automated diagnosis system based on sound and precise logical descriptions. In Proceedings of the Twenty-Second IEEE International Symposium on Computer-Based Medical Systems, August 3-4, 2009, Albuquerque, New Mexico, USA. pages 1-8, IEEE, 2009. [doi]
Abstract is missing.