@INPROCEEDINGS {8195,
author={Paula Prata Sousa and J. Silva},
doi={},
booktitle={European Dependable Computing Conference EDCC},
title={Fault-Detection by Result-Checking for the Eigenproblem},
year={1999},
month={September},
volume={LNCS 1667},
pages={419-436} 
}