Systematic Incremental Validation of Rule-Based Reactive Systems

Robert J. Hall. Systematic Incremental Validation of Rule-Based Reactive Systems. In KBSE. pages 69-78, 1994.

Abstract

Abstract is missing.