%0 Thesis %1 kersten1998verifizierende %A Kersten, Tim %D 1998 %K %T Verifizierende rechnerinvariante Numerikmodule

@phdthesis{kersten1998verifizierende, added-at = {2023-12-13T00:09:13.000+0100}, author = {Kersten, Tim}, biburl = {https://www.bibsonomy.org/bibtex/2b07b78d16682e13a20144ed7064f8f78/admin}, dnbtitleid = {957212526}, interhash = {5f7c66104b53f918bfabbbab608dcbad}, intrahash = {b07b78d16682e13a20144ed7064f8f78}, keywords = {}, school = {Uni Karlsruhe}, timestamp = {2023-12-13T00:09:13.000+0100}, title = {Verifizierende rechnerinvariante Numerikmodule}, year = 1998 }