Kolberg, Mariana, 		Dorn, Márcio, 		Fernandes, Luiz, E 		Bohlender, Gerd.
" Parallel Verified Linear System Solver for Uncertain Input Data" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (29 outubro 2008)