%0 Journal Article
%A Sala, Antonio
%A Albertos, Pedro
%T Validación formal de técnicas de control difuso. Perspectivas.
%J Mathware & soft computing
%D 1999
%P 305-317
%V 6
%N 2-3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MSC_1999_1999_1_a12/
%G en
%F MSC_1999_1999_1_a12