@inproceedings{rauzy1996introductionbdd,
author	=	{Antoine Rauzy},
title	=	{An {I}ntroduction to {B}inary {D}ecision {D}iagrams and  some of their {A}pplications to {R}isk {A}ssessment},
booktitle	=	{Actes de l'\'ecole d'\'et\'e, Mod\'elisation et V\'erification de Processus Parall\`eles, MOVEP'96},
editor	=	{Olivier Roux},
year	=	{1996}
}