Sign in

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

Alejandro Rodríguez GonzálezJosé Emilio Labra GayoGiner Alor-HernándezJuan Miguel GómezRubén Posada-Gómez
Published in: CBMS (2009)
Keyphrases