@inproceedings{perrot2010dft,
author	=	{Benoit Perrot and Tatiana Prosvirnova and Antoine Rauzy and Jean-Philippe Sahut~d'Izarn},
title	=	{Arbres de d\'efaillance dynamiques : une biblioth\`eque pour la nouvelle g\'en\'eration d'AltaRica},
booktitle	=	{Actes du congr\`es LambdaMu'17 (actes \'electroniques)},
publisher	=	{IMdR},
editor	=	{E. Fadier},
month	=	{October},
year	=	{2010}
}