@inproceedings{ducamp2000eventtrees,
author	=	{Fran\c{c}ois Ducamp and Sylvain Planchon and Antoine Rauzy and Philippe Thomas},
title	=	{Handling very large {E}vent {T}rees by means of {B}inary {D}ecision {D}iagrams},
booktitle	=	{Proceedings of the International Conference on Probabilistic Safety Assessment and Management, PSAM'5},
editor	=	{S.~Kondo and K.~Furuta},
pages	=	{1447--1452},
publisher	=	{Universal Academy Press},
isbn	=	{4-946443-64-9},
year	=	{2000},
pdffile	=	{DucampPlanchonRauzyThomas2000-LargeEventTreesWithBDD.pdf}
}