@inproceedings{thomas1998Sherloc,
author	=	{Philippe Thomas and Fabienne Meunier and Antoine Rauzy},
title	=	{Sherloc : outil d'allocation d'indisponibilit\'e pour les arbres de d\'efaillance},
booktitle	=	{Actes du 11i\`eme colloque national de Fiabilit\'e et Maintenabilit\'e, LambdaMu'11},
publisher	=	{SEE},
pages	=	{278--283},
year	=	{1998}
}