@article{e98f1f21a29043cdadec7ec3d39b14d7,
title = "Verification methods for linear systems using ufp estimation with rounding-to-nearest",
author = "Y. Morikura and K. Ozaki and S. Oishi",
year = "2012",
month = jun,
day = "25",
language = "English",
journal = "Default journal",
}