Inproceedings,
Compositional Taylor Model Based Validated Integration.
K. Liiva, P. Jackson, G. Passmore, and C. Wintersteiger.SYNASC, page 45-52. IEEE, (2018)
Meta data
- BibTeX key
- conf/synasc/LiivaJPW18
- entry type
- inproceedings
- booktitle
- SYNASC
- year
- 2018
- pages
- 45-52
- publisher
- IEEE
- crossref
- conf/synasc/2018
- ee
- https://doi.org/10.1109/SYNASC.2018.00020
- isbn
- 978-1-7281-0625-0
- url
- http://dblp.uni-trier.de/db/conf/synasc/synasc2018.html#LiivaJPW18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/synasc/LiivaJPW18
%A Liiva, Kristjan
%A Jackson, Paul B.
%A Passmore, Grant O.
%A Wintersteiger, Christoph M.
%B SYNASC
%D 2018
%I IEEE
%K dblp
%P 45-52
%T Compositional Taylor Model Based Validated Integration.
%U http://dblp.uni-trier.de/db/conf/synasc/synasc2018.html#LiivaJPW18
%@ 978-1-7281-0625-0
@inproceedings{conf/synasc/LiivaJPW18,
added-at = {2019-07-04T00:00:00.000+0200},
author = {Liiva, Kristjan and Jackson, Paul B. and Passmore, Grant O. and Wintersteiger, Christoph M.},
biburl = {https://www.bibsonomy.org/bibtex/26ead1df77688c7f8cd5d44aac525472d/dblp},
booktitle = {SYNASC},
crossref = {conf/synasc/2018},
ee = {https://doi.org/10.1109/SYNASC.2018.00020},
interhash = {f66c14e73048997d6319d6a84bd670fb},
intrahash = {6ead1df77688c7f8cd5d44aac525472d},
isbn = {978-1-7281-0625-0},
keywords = {dblp},
pages = {45-52},
publisher = {IEEE},
timestamp = {2019-07-05T11:39:32.000+0200},
title = {Compositional Taylor Model Based Validated Integration.},
url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2018.html#LiivaJPW18},
year = 2018
}