%0 Journal Article
%A Hu, B.
%A Seiler, P.
%T A probabilistic method for certification of analytically redundant systems
%J International Journal of Applied Mathematics and Computer Science
%D 2015
%P 103-116
%V 25
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2015_25_1_a7/
%G en
%F IJAMCS_2015_25_1_a7