BibTeX record journals/tjs/ZhangXHQHZ24

download as .bib file

@article{DBLP:journals/tjs/ZhangXHQHZ24,
  author       = {Zuoyan Zhang and
                  Jinchen Xu and
                  Jiangwei Hao and
                  Yang Qu and
                  Haotian He and
                  Bei Zhou},
  title        = {Hierarchical search algorithm for error detection in floating-point
                  arithmetic expressions},
  journal      = {J. Supercomput.},
  volume       = {80},
  number       = {1},
  pages        = {1183--1205},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11227-023-05523-6},
  doi          = {10.1007/S11227-023-05523-6},
  timestamp    = {Fri, 19 Jan 2024 08:11:50 +0100},
  biburl       = {https://dblp.org/rec/journals/tjs/ZhangXHQHZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics