%0 Journal Article
%A Harasim, Petr
%A Valdman, Jan
%T Verification of functional a posteriori error estimates for obstacle problem in 1D
%J Kybernetika
%D 2013
%P 738-754
%V 49
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2013__49_5_a4/
%G en
%F KYB_2013__49_5_a4