{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Distefano, S., F. Longo, and M. Scarpa,  "Symbolic representation techniques in dynamic reliability evaluation",  \i Proceedings of the 12th IEEE International Symposium on High Assurance Systems Engineering (HASE)\i0 , San Jose, CA, United States, 3-4 November 2010, IEEE Computer Society, pp. 45-53, 2010.\par \par }