A temporal reasoning and abstraction framework for model-based diagnosis systems

Johann Gamper. A temporal reasoning and abstraction framework for model-based diagnosis systems. Volume 136 of DISKI, Infix, 1996.

Abstract

Abstract is missing.