@inproceedings{SmithGarloffWerkle2017, author = {Andrew Paul Smith and J{\"u}rgen Garloff and Horst Werkle}, title = {VERIFIED SOLUTION OF FINITE ELEMENT MODELS WITH UNCERTAIN NODE LOCATIONS}, editor = {Klaus G{\"u}rlebeck and Carsten K{\"o}nke}, doi = {10.25643/bauhaus-universitaet.2901}, url = {http://euklid.bauing.uni-weimar.de/ikm2009/paper.html}, year = {2017}, }