Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/1353445.1353446> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 1353445.1353446 author "David Monniaux".
- 1353445.1353446 date "May 2008".
- 1353445.1353446 doi "10.1145/1353445.1353446".
- 1353445.1353446 first "David".
- 1353445.1353446 isCitedBy IEEE_754-1985.
- 1353445.1353446 isCitedBy IEEE_floating_point.
- 1353445.1353446 issn "0164-0925".
- 1353445.1353446 issue "3".
- 1353445.1353446 journal ACM_Transactions_on_Programming_Languages_and_Systems.
- 1353445.1353446 last "Monniaux".
- 1353445.1353446 pages "article #12".
- 1353445.1353446 ref "harv".
- 1353445.1353446 title "The pitfalls of verifying floating-point computations".
- 1353445.1353446 url en.
- 1353445.1353446 volume "30".