Y. Morikura, K. Ozaki, S. Oishi
研究成果: Article › 査読
}
TY - JOUR
T1 - Verification Methods for Linear Systems on a GPU
AU - Morikura, Y.
AU - Ozaki, K.
AU - Oishi, S.
PY - 2012/9/27
Y1 - 2012/9/27
M3 - Article
SP - 113
EP - 114
JO - Book of Abstracts
JF - Book of Abstracts
ER -