@article{rauzy2007largefaulttrees,
author	=	{Antoine Rauzy and Jean Gauthier and Xavier Leduc},
title	=	{Assessment of Large Automatically Generated Fault Trees by means of Binary Decision Diagrams},
journal	=	{Journal of Risk and Reliability},
volume	=	{221},
number	=	{2},
pages	=	{95--105},
publisher	=	{Professional Engineering Publishing},
year	=	{2007},
doi	=	{10.1243/1748006XJRR47},
abstractfile	=	{RauzyGauthierLeduc2007-AssessmentOfLargeFaultTreesWithBDD.html},
pdffile	=	{RauzyGauthierLeduc2007-AssessmentOfLargeFaultTreesWithBDD.pdf}
}