Tim Kersten pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1996
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
Last update Wed May 22 00:17:02 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page