%0 Journal Article %1 journals/entcs/FahndrichL12 %A Fähndrich, Manuel %A Logozzo, Francesco %D 2012 %J Electron. Notes Theor. Comput. Sci. %K %P 15-23 %T Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. %U http://dblp.uni-trier.de/db/journals/entcs/entcs288.html#FahndrichL12 %V 288

@article{journals/entcs/FahndrichL12, added-at = {2023-12-12T20:15:54.000+0100}, author = {Fähndrich, Manuel and Logozzo, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/22b50eea2bbe65e00acb7c8adfebd80ca/admin}, ee = {https://doi.org/10.1016/j.entcs.2012.10.004}, interhash = {2cc37bc44e264264f4355e20696f1227}, intrahash = {2b50eea2bbe65e00acb7c8adfebd80ca}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {15-23}, timestamp = {2023-12-12T20:15:54.000+0100}, title = {Checking Compatibility of Bit Sizes in Floating Point Comparison Operations.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs288.html#FahndrichL12}, volume = 288, year = 2012 }