| 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.