Inproceedings,
A Mixed Real and Floating-Point Solver.
R. Salvia, L. Titolo, M. Feliú, M. Moscato, C. Muñoz, and Z. Rakamaric.NFM, volume 11460 of Lecture Notes in Computer Science, page 363-370. Springer, (2019)
Meta data
- BibTeX key
- conf/nfm/SalviaTFMMR19
- entry type
- inproceedings
- booktitle
- NFM
- year
- 2019
- pages
- 363-370
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 11460
- crossref
- conf/nfm/2019
- ee
- https://doi.org/10.1007/978-3-030-20652-9_25
- isbn
- 978-3-030-20652-9
- url
- http://dblp.uni-trier.de/db/conf/nfm/nfm2019.html#SalviaTFMMR19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nfm/SalviaTFMMR19
%A Salvia, Rocco
%A Titolo, Laura
%A Feliú, Marco A.
%A Moscato, Mariano M.
%A Muñoz, César A.
%A Rakamaric, Zvonimir
%B NFM
%D 2019
%E Badger, Julia M.
%E Rozier, Kristin Yvonne
%I Springer
%K dblp
%P 363-370
%T A Mixed Real and Floating-Point Solver.
%U http://dblp.uni-trier.de/db/conf/nfm/nfm2019.html#SalviaTFMMR19
%V 11460
%@ 978-3-030-20652-9
@inproceedings{conf/nfm/SalviaTFMMR19,
added-at = {2019-05-28T00:00:00.000+0200},
author = {Salvia, Rocco and Titolo, Laura and Feliú, Marco A. and Moscato, Mariano M. and Muñoz, César A. and Rakamaric, Zvonimir},
biburl = {https://www.bibsonomy.org/bibtex/27e6901c6a6d2702d39fa05fd5175ab7c/dblp},
booktitle = {NFM},
crossref = {conf/nfm/2019},
editor = {Badger, Julia M. and Rozier, Kristin Yvonne},
ee = {https://doi.org/10.1007/978-3-030-20652-9_25},
interhash = {0f2fc94629d007548794f4b7658a174b},
intrahash = {7e6901c6a6d2702d39fa05fd5175ab7c},
isbn = {978-3-030-20652-9},
keywords = {dblp},
pages = {363-370},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-29T11:46:58.000+0200},
title = {A Mixed Real and Floating-Point Solver.},
url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2019.html#SalviaTFMMR19},
volume = 11460,
year = 2019
}