An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, to appear in Numerical Algorithms.

K. Ozaki, T. Ogita, S. Oishi

Research output: Contribution to journalArticle

12 Citations (Scopus)
Original languageEnglish
Pages (from-to)363-282
JournalNumerical Algorithms
Volume56
Publication statusPublished - 2010 May 8

Cite this

An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, to appear in Numerical Algorithms. / Ozaki, K.; Ogita, T.; Oishi, S.

In: Numerical Algorithms, Vol. 56, 08.05.2010, p. 363-282.

Research output: Contribution to journalArticle

@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 = "5",
day = "8",
language = "English",
volume = "56",
pages = "363--282",
journal = "Numerical Algorithms",
issn = "1017-1398",
publisher = "Springer Netherlands",

}

TY - JOUR

T1 - An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, to appear in Numerical Algorithms.

AU - Ozaki, K.

AU - Ogita, T.

AU - Oishi, S.

PY - 2010/5/8

Y1 - 2010/5/8

M3 - Article

VL - 56

SP - 363

EP - 282

JO - Numerical Algorithms

JF - Numerical Algorithms

SN - 1017-1398

ER -