Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek, "In Pursuit of Real Answers," Embedded Software and Systems, Second International Conference on, pp. 115-122, 2009 International Conference on Embedded Software and Systems, 2009.

@article{ 10.1109/ICESS.2009.91,
author = {Angela Yun Zhu and Walid Taha and Robert Cartwright and Matthieu Martel and Jeremy G. Siek},
title = {In Pursuit of Real Answers},
journal ={Embedded Software and Systems, Second International Conference on},
volume = {0},
year = {2009},
isbn = {978-0-7695-3678-1},
pages = {115-122},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICESS.2009.91},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Embedded Software and Systems, Second International Conference on
TI - In Pursuit of Real Answers
SN - 978-0-7695-3678-1
SP115
EP122
A1 - Angela Yun Zhu,
A1 - Walid Taha,
A1 - Robert Cartwright,
A1 - Matthieu Martel,
A1 - Jeremy G. Siek,
PY - 2009
KW - real numbers
KW - cyber-physical system
KW - exact real arithmetic
VL - 0
JA - Embedded Software and Systems, Second International Conference on
ER -