Efficient Exploration of Availability Models Guided by Failure Distances.

Juan A. Carrasco, Javier Escrib, Angel Caldern

Browse the full SIGMETRICS paper archive.