Efficient Exploration of Availability Models Guided by Failure Distances

Juan A. Carrasco, Javier Escribá, Angel Calderón. Efficient Exploration of Availability Models Guided by Failure Distances. In SIGMETRICS. pages 242-251, 1996.

Abstract

Abstract is missing.