Tim Kersten

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996

1 Tim Kersten: A case study for the use of verifying BLAS in na LAPACK like verifying driver-routine for the solution of linear systems. RITA 3(2): 5-20 (1996)