@article{3fba0f17a91746dfae7441a75781c559,
title = "An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, to appear in Numerical Algorithms.",
author = "K. Ozaki and T. Ogita and S. Oishi",
year = "2010",
month = may,
day = "8",
language = "English",
volume = "56",
pages = "363--282",
journal = "Numerical Algorithms",
issn = "1017-1398",
publisher = "Springer Netherlands",
}