Títol | Inconsistency Detection for Rule-Based Systems: A Divide and Conquer Approach |
Publication Type | Conference Paper |
Year of Publication | 1990 |
Authors | Meseguer P, Plaza E |
Conference Name | ESPRIT-90 Conference |
Paginació | 80-89 |
Títol | Inconsistency Detection for Rule-Based Systems: A Divide and Conquer Approach |
Publication Type | Conference Paper |
Year of Publication | 1990 |
Authors | Meseguer P, Plaza E |
Conference Name | ESPRIT-90 Conference |
Paginació | 80-89 |