@inproceedings{dutuit1999evaluation,
author	=	{Yves Dutuit and Antoine Rauzy and Jean-Pierre Signoret},
title	=	{Evaluation of Systems Reliability by means of Binary Decision Diagram},
booktitle	=	{Proceedings of the Probabilistic Safety Assessment Conference, PSA'99},
publisher	=	{American Nuclear Society},
pages	=	{521--528},
volume	=	{1},
isbn	=	{0-89448-640-3},
year	=	{1999}
}