{\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,  "Availability assessment of HA standby redundant clusters",  \i Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS)\i0 , New Delhi, India, 31 October - 3 November 2010, IEEE Computer Society, pp. 265-274, 2010.\par \par 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 }