| Original language | English |
|---|---|
| Pages (from-to) | 113-114 |
| Journal | Book of Abstracts |
| Publication status | Published - 2012 Sep 27 |
Cite this
Morikura, Y., Ozaki, K., & Oishi, S. (2012). Verification Methods for Linear Systems on a GPU. Book of Abstracts, 113-114.
Verification Methods for Linear Systems on a GPU. / Morikura, Y.; Ozaki, K.; Oishi, S.
In: Book of Abstracts, 27.09.2012, p. 113-114.Research output: Contribution to journal › Article
Morikura, Y, Ozaki, K & Oishi, S 2012, 'Verification Methods for Linear Systems on a GPU', Book of Abstracts, pp. 113-114.
Morikura Y, Ozaki K, Oishi S. Verification Methods for Linear Systems on a GPU. Book of Abstracts. 2012 Sep 27;113-114.
@article{d159f752b2d544369fe5fc5ed0a326a2,
title = "Verification Methods for Linear Systems on a GPU",
author = "Y. Morikura and K. Ozaki and S. Oishi",
year = "2012",
month = "9",
day = "27",
language = "English",
pages = "113--114",
journal = "Book of Abstracts",
}
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 -